Commit fead353b authored by Lulu Luong's avatar Lulu Luong

testscript added (bug: variableassignment lost after application of a scriptcommand)

parent 4f406712
Pipeline #30051 failed with stages
in 0 seconds
......@@ -54,8 +54,30 @@ cases{
auto;
}
script varDecl(){
script varDecl1(){
var1 : INT := 1;
var2 : INT := 2;
var3 : INT := 3;
}
script varDecl2(){
var1 : INT := 1;
impRight;
impRight;
impLeft;
cases {
case match `!q ==> p`:
notLeft;
var2 : INT := 2;
notRight;
case match `q==>!p`:
notLeft;
var3 : INT := 3;
}
}
\ No newline at end of file
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