diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java index 502d2de..ec7416c 100644 --- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java +++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java @@ -8,9 +8,7 @@ import edu.kit.typicalc.model.type.TypeAbstraction; import edu.kit.typicalc.util.Result; import java.nio.channels.IllegalSelectorException; -import java.util.ArrayDeque; import java.util.ArrayList; -import java.util.Deque; import java.util.List; import java.util.Map; import java.util.Optional; diff --git a/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java b/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java index 6c9a516..00309b3 100644 --- a/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java +++ b/src/test/java/edu/kit/typicalc/view/ScreenshotIT.java @@ -83,7 +83,7 @@ public class ScreenshotIT extends AbstractIT { inputBar.typeInfer(); TestBenchCommandExecutor executor = getCommandExecutor(); executor.waitForVaadin(); - + assertTrue("Screenshot comparison for 'letView' failed, see " + Parameters.getScreenshotErrorDirectory() + " for error images", @@ -193,6 +193,8 @@ public class ScreenshotIT extends AbstractIT { @Test public void testScenario1() throws IOException { + TestBenchCommandExecutor executor = getCommandExecutor(); + InputBarElement inputBar = $(InputBarElement.class).first(); String term = "λx. f x"; inputBar.setCurrentValue(term); @@ -202,23 +204,31 @@ public class ScreenshotIT extends AbstractIT { inputBar.typeInfer(); ControlPanelElement controlPanelElement = $(ControlPanelElement.class).first(); - + executor.waitForVaadin(); + assertTrue(testBench().compareScreen("testScenario1_step0")); controlPanelElement.nextStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step1")); controlPanelElement.nextStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step2")); controlPanelElement.nextStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step3")); controlPanelElement.nextStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step4")); controlPanelElement.previousStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step3")); controlPanelElement.previousStep(); assertTrue(testBench().compareScreen("testScenario1_step2")); controlPanelElement.firstStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step0")); controlPanelElement.lastStep(); + executor.waitForVaadin(); assertTrue(testBench().compareScreen("testScenario1_step4gi")); } } diff --git a/src/test/resources/screenshots/chooseExample2_windows_firefox_86.png b/src/test/resources/screenshots/chooseExample2_windows_firefox_86.png index ba872cd..1a1fba6 100644 Binary files a/src/test/resources/screenshots/chooseExample2_windows_firefox_86.png and b/src/test/resources/screenshots/chooseExample2_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/chooseExample3_windows_firefox_86.png b/src/test/resources/screenshots/chooseExample3_windows_firefox_86.png index 6ffbc0c..5d81d03 100644 Binary files a/src/test/resources/screenshots/chooseExample3_windows_firefox_86.png and b/src/test/resources/screenshots/chooseExample3_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/exportLatexWithAssumptions2_windows_firefox_86.png b/src/test/resources/screenshots/exportLatexWithAssumptions2_windows_firefox_86.png index 5c979af..abe9f52 100644 Binary files a/src/test/resources/screenshots/exportLatexWithAssumptions2_windows_firefox_86.png and b/src/test/resources/screenshots/exportLatexWithAssumptions2_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/exportLatexWithAssumptions3_windows_firefox_86.png b/src/test/resources/screenshots/exportLatexWithAssumptions3_windows_firefox_86.png index d80d4c8..0f8adfc 100644 Binary files a/src/test/resources/screenshots/exportLatexWithAssumptions3_windows_firefox_86.png and b/src/test/resources/screenshots/exportLatexWithAssumptions3_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/identityView_windows_firefox_86.png b/src/test/resources/screenshots/identityView_windows_firefox_86.png new file mode 100644 index 0000000..b1ad038 Binary files /dev/null and b/src/test/resources/screenshots/identityView_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/initialView_windows_firefox_86.png b/src/test/resources/screenshots/initialView_windows_firefox_86.png new file mode 100644 index 0000000..70a9c09 Binary files /dev/null and b/src/test/resources/screenshots/initialView_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/letShareDialog_windows_firefox_86.png b/src/test/resources/screenshots/letShareDialog_windows_firefox_86.png new file mode 100644 index 0000000..1c6fd91 Binary files /dev/null and b/src/test/resources/screenshots/letShareDialog_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/letView_windows_firefox_86.png b/src/test/resources/screenshots/letView_windows_firefox_86.png new file mode 100644 index 0000000..4b512e6 Binary files /dev/null and b/src/test/resources/screenshots/letView_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step0_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step0_windows_firefox_86.png new file mode 100644 index 0000000..d9e1d1b Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step0_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step1_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step1_windows_firefox_86.png new file mode 100644 index 0000000..9375c59 Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step1_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step2_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step2_windows_firefox_86.png new file mode 100644 index 0000000..b51a572 Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step2_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step3_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step3_windows_firefox_86.png new file mode 100644 index 0000000..0bc67ee Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step3_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step4_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step4_windows_firefox_86.png new file mode 100644 index 0000000..1c29bcc Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step4_windows_firefox_86.png differ diff --git a/src/test/resources/screenshots/testScenario1_step4gi_windows_firefox_86.png b/src/test/resources/screenshots/testScenario1_step4gi_windows_firefox_86.png new file mode 100644 index 0000000..1c29bcc Binary files /dev/null and b/src/test/resources/screenshots/testScenario1_step4gi_windows_firefox_86.png differ