Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
ee046b3b
Commit
ee046b3b
authored
Jan 31, 2018
by
Sarah Grebing
Browse files
Added testcase for assignmenthook change in interprteroptions
parent
7924590f
Pipeline
#17633
failed with stages
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeYInterpreterTest.java
View file @
ee046b3b
...
...
@@ -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
<
KeyData
>
i
=
execute
(
getClass
().
getResourceAsStream
(
"contraposition/hookTestScript.kps"
));
Assert
.
assertTrue
(
i
.
isStrictMode
());
}
}
rt-key/src/test/resources/edu/kit/iti/formal/psdbg/interpreter/contraposition/hookTestScript.kps
0 → 100644
View file @
ee046b3b
script hookTest(){
__STRICT_MODE:= true;
impRight;
}
\ No newline at end of file
ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
View file @
ee046b3b
...
...
@@ -2,7 +2,8 @@
//
script autoScript(){
//auto;
__STRICT_MODE := true;
auto;
}
script interactive(){
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment