[NF] Add conditional component binding tests.

Belonging to [master]: - OpenModelica/OMCompiler#2741 - OpenModelica/OpenModelica-testsuite#1062
OpenModelica · Oct 25, 2018 · 3f57500 · 3f57500
1 parent 993f292
commit 3f57500
Show file tree

Hide file tree

Showing 3 changed files with 35 additions and 0 deletions.
diff --git a/flattening/modelica/scodeinst/ConditionInvalidBinding1.mo b/flattening/modelica/scodeinst/ConditionInvalidBinding1.mo
@@ -0,0 +1,19 @@
+// name: ConditionInvalidBinding1
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model ConditionInvalidBinding1
+  Real x = "string" if true;
+end ConditionInvalidBinding1;
+
+// Result:
+// Error processing file: ConditionInvalidBinding1.mo
+// [flattening/modelica/scodeinst/ConditionInvalidBinding1.mo:8:3-8:28:writable] Error: Type mismatch in binding x = "string", expected subtype of Real, got type String.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult
diff --git a/flattening/modelica/scodeinst/ConditionInvalidBinding2.mo b/flattening/modelica/scodeinst/ConditionInvalidBinding2.mo
@@ -0,0 +1,14 @@
+// name: ConditionInvalidBinding2
+// keywords:
+// status: correct
+// cflags: -d=newInst
+//
+
+model ConditionInvalidBinding2
+  Real x = "string" if false;
+end ConditionInvalidBinding2;
+
+// Result:
+// class ConditionInvalidBinding2
+// end ConditionInvalidBinding2;
+// endResult
diff --git a/flattening/modelica/scodeinst/Makefile b/flattening/modelica/scodeinst/Makefile
@@ -193,6 +193,8 @@ Condition4.mo \
 Condition5.mo \
 Condition6.mo \
 ConditionInvalid1.mo \
+ConditionInvalidBinding1.mo \
+ConditionInvalidBinding2.mo \
 ConditionInvalidType1.mo \
 conn9.mo \
 conngraph1.mo \