From ee046b3b2f912fee44dd50f41a98d675b051c730 Mon Sep 17 00:00:00 2001 From: Sarah Grebing Date: Wed, 31 Jan 2018 09:06:09 +0100 Subject: [PATCH] Added testcase for assignmenthook change in interprteroptions --- .../iti/formal/psdbg/interpreter/KeYInterpreterTest.java | 8 ++++++++ .../psdbg/interpreter/contraposition/hookTestScript.kps | 6 ++++++ .../iti/formal/psdbg/examples/contraposition/script.kps | 3 ++- 3 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 rt-key/src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/hookTestScript.kps diff --git a/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeYInterpreterTest.java b/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeYInterpreterTest.java index 3bc7f210..87ed4c47 100644 --- a/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeYInterpreterTest.java +++ b/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeYInterpreterTest.java @@ -73,5 +73,13 @@ public class KeYInterpreterTest { } + @Test + public void testHookAssignments() throws IOException, ProblemLoaderException { + facade.loadKeyFileSync(new File("src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/contraposition.key")); + Interpreter i = execute(getClass().getResourceAsStream("contraposition/hookTestScript.kps")); + Assert.assertTrue(i.isStrictMode()); + + } + } diff --git a/rt-key/src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/hookTestScript.kps b/rt-key/src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/hookTestScript.kps new file mode 100644 index 00000000..5c295d70 --- /dev/null +++ b/rt-key/src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/hookTestScript.kps @@ -0,0 +1,6 @@ +script hookTest(){ + __STRICT_MODE:= true; + impRight; + + +} \ No newline at end of file diff --git a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps index 94214654..c04b23da 100644 --- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps +++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps @@ -2,7 +2,8 @@ // script autoScript(){ - //auto; + __STRICT_MODE := true; + auto; } script interactive(){ -- GitLab