updated maestro check to work with VDM version 4.4.6 which altered th…

…e ClassLoader
INTO-CPS-Association · Nov 23, 2023 · 25ed5d6 · 25ed5d6
1 parent d14e937
commit 25ed5d6
Show file tree

Hide file tree

Showing 11 changed files with 959 additions and 439 deletions.
diff --git a/fmi2/static-model/pom.xml b/fmi2/static-model/pom.xml
@@ -9,6 +9,11 @@
 	<groupId>org.into-cps.vdmcheck.fmi2</groupId>
 	<artifactId>static-model</artifactId>
 	<build>
+		<resources>
+			<resource>
+				<directory>${basedir}</directory>
+			</resource>
+		</resources>
 		<directory>.generated</directory>
 		<plugins>
 			<plugin>

diff --git a/fmi2/vdmcheck/src/main/java/annotations/ast/ASTOnFailAnnotation.java b/fmi2/vdmcheck/src/main/java/annotations/ast/ASTOnFailAnnotation.java
diff --git a/fmi2/vdmcheck/src/main/java/annotations/in/INOnFailAnnotation.java b/fmi2/vdmcheck/src/main/java/annotations/in/INOnFailAnnotation.java
diff --git a/fmi2/vdmcheck/src/main/java/annotations/tc/TCOnFailAnnotation.java b/fmi2/vdmcheck/src/main/java/annotations/tc/TCOnFailAnnotation.java