Modelica test model for increasing2 ETL operator

resources/modelica_libraries/CRML_test/ETL/Increasing2_no_ext/Increasing2_no_ext.mo

@@ -0,0 +1,36 @@
+within CRML_test.ETL.Increasing2_no_ext;
+model Increasing2_no_ext
+  Integer x1 = 3;
+  Integer x2 = 7;
+  Integer x3 = 7;
+
+  CRML.ETL.Types.Boolean4 b_increasing2_on_strictly_greater_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_strictly_greater_2;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_greater_or_equal_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_greater_or_equal_2;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_strictly_less_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_strictly_less_2;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_less_or_equal_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_less_or_equal_2;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_equal_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_equal_2;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_different_1;
+  CRML.ETL.Types.Boolean4 b_increasing2_on_different_2;
+
+equation
+  b_increasing2_on_strictly_greater_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 > x2);
+  b_increasing2_on_strictly_greater_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 > x1);
+  b_increasing2_on_greater_or_equal_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 >= x2);
+  b_increasing2_on_greater_or_equal_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 >= x1);
+  b_increasing2_on_strictly_less_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 >= x2);
+  b_increasing2_on_strictly_less_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 >= x1);
+  b_increasing2_on_less_or_equal_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 > x2);
+  b_increasing2_on_less_or_equal_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 > x1);
+  b_increasing2_on_equal_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 == x2);
+  b_increasing2_on_equal_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 == x3);
+  b_increasing2_on_different_1 = CRML.ETL.Types.cvBooleanToBoolean4(x1 <> x2);
+  b_increasing2_on_different_2 = CRML.ETL.Types.cvBooleanToBoolean4(x2 <> x3);
+
+  annotation (Icon(coordinateSystem(preserveAspectRatio=false)), Diagram(
+        coordinateSystem(preserveAspectRatio=false)));
+end Increasing2_no_ext;

resources/modelica_libraries/CRML_test/ETL/Increasing2_no_ext/package.mo

@@ -0,0 +1,3 @@
+within CRML_test.ETL;
+package Increasing2_no_ext
+end Increasing2_no_ext;

resources/modelica_libraries/CRML_test/ETL/Increasing2_no_ext/package.order

@@ -0,0 +1 @@
+Increasing2_no_ext