test suite update

lenaRB · Sep 29, 2023 · b04629a · b04629a
1 parent 7b5d5b2
commit b04629a
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/src/test/java/specDocExamples/TestSuite.java b/src/test/java/specDocExamples/TestSuite.java
@@ -87,6 +87,21 @@ void testTraficLight () throws InterruptedException, IOException{
 		}
 	}
 
+	@DisplayName("Traffic lights use-case test")
+	@Test
+	void testTraficLight () throws InterruptedException, IOException{
+		String filePath = "resources/crml_tutorial/pumping_system/";
+
+		// try compiling crml to modelica
+		try {
+
+			crml.translator.Main.parse_file(filePath, "Spec.crml", parameters.Values.generatedTestRepository+"/traffic", true, true);
+
+    	} catch (Exception e) {
+			fail("Unable to translate " + "Traffic light example" + "to Modelica :\n" + e.getMessage());
+		}
+	}
+
 	@ParameterizedTest
 	@MethodSource("fileNameSource")
 	void test(final String fileName) throws InterruptedException, IOException {