Commit ed95fcf7 authored by Sarah Grebing's avatar Sarah Grebing

changed script content for jar

parent c31715f6
Pipeline #22279 passed with stages
in 5 minutes and 26 seconds
script testSorts(){
b:bool := true;
i:int :='1';
t:TERM<bool> := `1=1`;
}
script test123() {
impRight;
#save 'test0' force='yes';
impRight;
#save 'test1';
impLeft;
}
script test2open() {
impRight;
impRight;
impLeft;
#save 'test2';
}
script autoScript(){ script autoScript(){
__STRICT_MODE := true; __STRICT_MODE := true;
auto; auto;
} }
script interactive(){ script interactive(){
impRight; impRight;
impRight; impRight;
impLeft; impLeft;
//after execution of this script, manual interaction can be performed
} }
script interactive_with_match(){ script interactive_with_match(){
impRight; impRight;
impRight; impRight;
#save 'test0' force='yes';
impLeft; impLeft;
cases{ cases{
case match `==> !(?Z), ?Z`: case match `==> !(?Z), ?Z`:
...@@ -54,4 +36,5 @@ cases{ ...@@ -54,4 +36,5 @@ cases{
__KEY_MAX_STEPS:= 100; __KEY_MAX_STEPS:= 100;
impRight; impRight;
} }
auto;
} }
\ No newline at end of file
// Please select one of the following scripts. // Please select one of the following scripts.
// //
script testSorts(){
b:bool := true;
i:int :='1';
t:TERM<bool> := `1=1`;
}
script test123() {
impRight;
#save 'test0' force='yes';
impRight;
#save 'test1';
impLeft;
}
script test2open() {
impRight;
impRight;
impLeft;
#save 'test2';
}
script testTry(){ script testTry(){
cases{ cases{
try: impLeft; try: impLeft;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment