From 652e8709e198fa7ad42c0e5663609fda5b361a42 Mon Sep 17 00:00:00 2001
From: Fabian Vu <fabian.vu@hhu.de>
Date: Wed, 15 Jan 2025 10:20:32 +0100
Subject: [PATCH] Try to fix a few tests

---
 .../resources/de/hhu/stups/codegenerator/Assert.mch    | 10 +++++-----
 src/test/resources/de/hhu/stups/codegenerator/Lift.mch | 10 +++++-----
 .../de/hhu/stups/codegenerator/Lift_External.mch       | 10 +++++-----
 3 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/src/test/resources/de/hhu/stups/codegenerator/Assert.mch b/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
index f90b05d12..84e1b91e4 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
@@ -1,15 +1,15 @@
 MACHINE Assert
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..99 /* NAT */
+INVARIANT  level : 0..99 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = ASSERT floor<99 THEN floor := floor + 1 END ;
+	inc = ASSERT level<99 THEN level := level + 1 END ;
 
-	dec = ASSERT floor>0 THEN floor := floor - 1 END
+	dec = ASSERT level>0 THEN level := level - 1 END
 
 END
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lift.mch b/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
index bc57c76fd..5c5658de9 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
@@ -1,15 +1,15 @@
 MACHINE Lift
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..100 /* NAT */
+INVARIANT  level : 0..100 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = PRE floor<100 THEN floor := floor + 1 END ;
+	inc = PRE level<100 THEN level := level + 1 END ;
 
-	dec = PRE floor>0 THEN floor := floor - 1 END
+	dec = PRE level>0 THEN level := level - 1 END
 
 END
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch b/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
index 45c8853ff..423cb3d02 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
@@ -1,15 +1,15 @@
 MACHINE Lift_External
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..100 /* NAT */
+INVARIANT  level : 0..100 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = PRE floor<100 THEN floor := floor + 1 END ;
-	dec = PRE floor>0 THEN floor := floor - 1 END;
+	inc = PRE level<100 THEN level := level + 1 END ;
+	dec = PRE level>0 THEN level := level - 1 END;
 	EXTERNAL_SEND = skip
 
 END
\ No newline at end of file
-- 
GitLab