From c57c1f18ae431021ffc96c789d9e4f599f879b8d Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 23 Jan 2025 20:25:06 +0100
Subject: [PATCH] simple label tests
---
.../java/de/tlc4b/analysis/ConstantsTest.java | 26 +++++++++++++++++++
1 file changed, 26 insertions(+)
diff --git a/src/test/java/de/tlc4b/analysis/ConstantsTest.java b/src/test/java/de/tlc4b/analysis/ConstantsTest.java
index fc42e4d..73ddb1a 100644
--- a/src/test/java/de/tlc4b/analysis/ConstantsTest.java
+++ b/src/test/java/de/tlc4b/analysis/ConstantsTest.java
@@ -147,5 +147,31 @@ public class ConstantsTest {
+ "======";
compare(expected, machine);
}
+
+ @Test
+ public void testPropertiesDescPragma() throws Exception {
+ String machine = "MACHINE test\n"
+ + "CONSTANTS n\n"
+ + "PROPERTIES n = 1 /*@desc description*/\n"
+ + "END";
+
+ String expected = "---- MODULE test----\n"
+ + "n == 1\n"
+ + "======";
+ compare(expected, machine);
+ }
+
+ @Test
+ public void testPropertiesLabelAndDescPragma() throws Exception {
+ String machine = "MACHINE test\n"
+ + "CONSTANTS n\n"
+ + "PROPERTIES /*@label lbl1 */ n = 1 /*@desc description*/\n"
+ + "END";
+
+ String expected = "---- MODULE test----\n"
+ + "n == 1\n"
+ + "======";
+ compare(expected, machine);
+ }
}
--
GitLab