Add new xsts model

ftsrg · Sep 14, 2023 · 3010414 · 3010414
1 parent c59fc18
commit 3010414
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/subprojects/xsts/xsts-analysis/src/test/resources/model/x_y_z.xsts b/subprojects/xsts/xsts-analysis/src/test/resources/model/x_y_z.xsts
@@ -0,0 +1,14 @@
+var x: integer = 0
+var y: integer = 0
+var z: integer = 0
+
+trans {
+    assume x < 100;
+    y:=y+1;
+    x:=y;
+    z:=y;
+}
+
+init {}
+
+env {}