chain benchmark

Author: KevinBatz

benchmarks/cav21/geo1.pgcl

@@ -1,4 +1,4 @@
-// ARGS: --post c --pre "c+1" --checker both
+// ARGS: --post "c" --pre "c+1" --checker both
 
 nat c;
 nat f;

benchmarks/chain1.pgcl

@@ -0,0 +1,8 @@
+// ARGS: --post "[c=1]" --pre "[c=0 & x<=99]*(999/1000 - 1/1000*x) + [c=1]" --checker kind
+
+nat c;
+nat x;
+
+while(c=0 & x<=99){
+   {c := 1}[0.01]{x := x+1}
+}