diff --git a/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java b/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java index ebcb4a3..df6ead6 100644 --- a/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java +++ b/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java @@ -246,4 +246,19 @@ public class ScreenshotIT extends AbstractIT { 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")); + } } diff --git a/src/test/resources/screenshots/errorView_windows_firefox_86.png b/src/test/resources/screenshots/errorView_windows_firefox_86.png new file mode 100644 index 0000000..7444f55 Binary files /dev/null and b/src/test/resources/screenshots/errorView_windows_firefox_86.png differ