diff --git a/src/test/java/de/tlc4b/analysis/ConstantsTest.java b/src/test/java/de/tlc4b/analysis/ConstantsTest.java
index fc42e4d2d88e8a69a8b32fe067820f67407884fd..73ddb1a5279a2c6d0374624059aac59e8d4c52e5 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);
+	}
 	
 }