Add validationError files for local testing

INTO-CPS-Association · Sep 14, 2024 · cc65b21 · cc65b21
1 parent 5248c4c
commit cc65b21
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/fmi2/rule-model/Tests/validationError.vdmsl b/fmi2/rule-model/Tests/validationError.vdmsl
@@ -0,0 +1,7 @@
+/**
+ * This is a file to define the validationError symbol for when the model is
+ * being tested locally, rather than via VDMCheck. Note that it is defined in
+ * the Tests folder, so not included with the distribution.
+ */
+values
+	validationError : [seq of char] = nil;
diff --git a/fmi3/rule-model/Tests/validationError.vdmsl b/fmi3/rule-model/Tests/validationError.vdmsl
@@ -0,0 +1,7 @@
+/**
+ * This is a file to define the validationError symbol for when the model is
+ * being tested locally, rather than via VDMCheck. Note that it is defined in
+ * the Tests folder, so not included with the distribution.
+ */
+values
+	validationError : [seq of char] = nil;