[NF] Update tests.

Belonging to [master]:
  - OpenModelica/OMCompiler#2957
  - OpenModelica/OpenModelica-testsuite#1130

flattening/modelica/scodeinst/BindingInvalidType1.mo

@@ -0,0 +1,19 @@
+// name: BindingInvalidType1
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model BindingInvalidType1
+  Real x = "wrong";
+end BindingInvalidType1;
+
+// Result:
+// Error processing file: BindingInvalidType1.mo
+// [flattening/modelica/scodeinst/BindingInvalidType1.mo:8:3-8:19:writable] Error: Type mismatch in binding x = "wrong", expected subtype of Real, got type String.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/BindingInvalidType2.mo

@@ -0,0 +1,19 @@
+// name: BindingInvalidType2
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model BindingInvalidType2
+  Real x = {1, 2, 3};
+end BindingInvalidType2;
+
+// Result:
+// Error processing file: BindingInvalidType2.mo
+// [flattening/modelica/scodeinst/BindingInvalidType2.mo:8:3-8:21:writable] Error: Type mismatch in binding ‘x = {1, 2, 3}‘, expected array dimensions [], got [3].
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/BindingInvalidType3.mo

@@ -0,0 +1,19 @@
+// name: BindingInvalidType3
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model BindingInvalidType3
+  Real x[3] = {1, 2};
+end BindingInvalidType3;
+
+// Result:
+// Error processing file: BindingInvalidType3.mo
+// [flattening/modelica/scodeinst/BindingInvalidType3.mo:8:3-8:21:writable] Error: Type mismatch in binding ‘x = {1, 2}‘, expected array dimensions [3], got [2].
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/BindingInvalidType4.mo

@@ -0,0 +1,19 @@
+// name: BindingInvalidType4
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model BindingInvalidType4
+  Real x[3] = 1;
+end BindingInvalidType4;
+
+// Result:
+// Error processing file: BindingInvalidType4.mo
+// [flattening/modelica/scodeinst/BindingInvalidType4.mo:8:3-8:16:writable] Error: Non-array modification ‘1‘ for array component ‘x‘, possibly due to missing ‘each‘.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/BindingInvalidType5.mo

@@ -0,0 +1,19 @@
+// name: BindingInvalidType5
+// keywords:
+// status: incorrect
+// cflags: -d=newInst
+//
+
+model BindingInvalidType5
+  Real x[3] = {"1", "2", "3"};
+end BindingInvalidType5;
+
+// Result:
+// Error processing file: BindingInvalidType5.mo
+// [flattening/modelica/scodeinst/BindingInvalidType5.mo:8:3-8:30:writable] Error: Type mismatch in binding x = {"1", "2", "3"}, expected subtype of Real[3], got type String[3].
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/CardinalityInvalidContext1.mo

@@ -0,0 +1,28 @@
+// name: CardinalityInvalidContext1
+// keywords: cardinality
+// status: incorrect
+// cflags: -d=newInst
+//
+// Cardinality may only be used in the conditions of if-statements/equations and
+// asserts.
+//
+
+connector C
+  Real e;
+  flow Real f;
+end C;
+
+model CardinalityInvalidContext1
+  C c;
+  Integer n = cardinality(c);
+end CardinalityInvalidContext1;
+
+// Result:
+// Error processing file: CardinalityInvalidContext1.mo
+// [flattening/modelica/scodeinst/CardinalityInvalidContext1.mo:17:3-17:29:writable] Error: cardinality may only be used in the condition of an if-statement/equation or an assert.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/CardinalityInvalidContext2.mo

@@ -0,0 +1,32 @@
+// name: CardinalityInvalidContext2
+// keywords: cardinality
+// status: incorrect
+// cflags: -d=newInst
+//
+// Cardinality may only be used in the conditions of if-statements/equations and
+// asserts.
+//
+
+connector C
+  Real e;
+  flow Real f;
+end C;
+
+model CardinalityInvalidContext2
+  C c;
+  Integer n;
+equation
+  if time > 0 then
+    n = cardinality(c);
+  end if;
+end CardinalityInvalidContext2;
+
+// Result:
+// Error processing file: CardinalityInvalidContext2.mo
+// [flattening/modelica/scodeinst/CardinalityInvalidContext2.mo:20:5-20:23:writable] Error: cardinality may only be used in the condition of an if-statement/equation or an assert.
+//
+// # Error encountered! Exiting...
+// # Please check the error message and the flags.
+//
+// Execution failed!
+// endResult

flattening/modelica/scodeinst/DimUnknown4.mo

@@ -20,7 +20,7 @@ end DimUnknown4;
 // Result:
 // Error processing file: DimUnknown4.mo
 // [flattening/modelica/scodeinst/DimUnknown4.mo:17:22-17:29:writable] Notification: From here:
-// [flattening/modelica/scodeinst/DimUnknown4.mo:9:3-9:15:writable] Error: Type mismatch in binding x = 3.0, expected subtype of Real[:, :], got type Real.
+// [flattening/modelica/scodeinst/DimUnknown4.mo:9:3-9:15:writable] Error: Non-array modification ‘3.0‘ for array component ‘x‘, possibly due to missing ‘each‘.
 //
 // # Error encountered! Exiting...
 // # Please check the error message and the flags.

flattening/modelica/scodeinst/Each3.mo

@@ -16,7 +16,7 @@ end Each3;
 // Error processing file: Each3.mo
 // [flattening/modelica/scodeinst/Each3.mo:12:12-12:25:writable] Warning: 'each' used when modifying non-array element a.
 // [flattening/modelica/scodeinst/Each3.mo:12:14-12:24:writable] Notification: From here:
-// [flattening/modelica/scodeinst/Each3.mo:8:3-8:12:writable] Error: Type mismatch in binding fixed = true, expected subtype of Boolean[2], got type Boolean.
+// [flattening/modelica/scodeinst/Each3.mo:8:3-8:12:writable] Error: Non-array modification ‘true‘ for array component ‘fixed‘, possibly due to missing ‘each‘.
 //
 // # Error encountered! Exiting...
 // # Please check the error message and the flags.

flattening/modelica/scodeinst/Makefile

@@ -22,6 +22,11 @@ BindingArray5.mo \
 BindingArray6.mo \
 BindingArray7.mo \
 BindingArray8.mo \
+BindingInvalidType1.mo \
+BindingInvalidType2.mo \
+BindingInvalidType3.mo \
+BindingInvalidType4.mo \
+BindingInvalidType5.mo \
 bindings1.mo \
 bindings4.mo \
 bindings7.mo \
@@ -54,6 +59,8 @@ Cardinality3.mo \
 Cardinality4.mo \
 CardinalityInvalidArg1.mo \
 CardinalityInvalidArg2.mo \
+CardinalityInvalidContext1.mo \
+CardinalityInvalidContext2.mo \
 ceval1.mo \
 ceval2.mo \
 ceval3.mo \