From 30104148019b42ebcaf2cbc565c9e1be1c80ea0a Mon Sep 17 00:00:00 2001 From: mondokm Date: Thu, 14 Sep 2023 16:44:26 +0200 Subject: [PATCH] Add new xsts model --- .../src/test/resources/model/x_y_z.xsts | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 subprojects/xsts/xsts-analysis/src/test/resources/model/x_y_z.xsts 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 new file mode 100644 index 0000000000..ad193f8a32 --- /dev/null +++ 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 {} \ No newline at end of file