IT for error view

This commit is contained in:
Moritz Dieing 2021-03-13 14:56:48 +01:00
parent 3110aa8bc0
commit 9aa4ae9e56
2 changed files with 15 additions and 0 deletions

View File

@ -246,4 +246,19 @@ public class ScreenshotIT extends AbstractIT {
matches.add(testBench().compareScreen("helpDialog")); matches.add(testBench().compareScreen("helpDialog"));
} }
@Test
public void errorViewTest() throws IOException {
TestBenchCommandExecutor executor = getCommandExecutor();
InputBarElement inputBar = $(InputBarElement.class).first();
String term = "λ5.x";
inputBar.setCurrentValue(term);
assertEquals(term, inputBar.getCurrentValue());
inputBar.typeInfer();
executor.waitForVaadin();
matches.add(testBench().compareScreen("errorView"));
}
} }

Binary file not shown.

After

Width:  |  Height:  |  Size: 39 KiB