Merge pull request #48 from audrey-jardin/main

Fix declaration of Booleans for cte_false and cte_true
lenaRB · Dec 12, 2023 · 12d03ae · 12d03ae
2 parents 7548fec + 4c0cde8
commit 12d03ae
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/src/test/resources/testModels/libraries/ETL_test/CteFalse_no_ext.crml b/src/test/resources/testModels/libraries/ETL_test/CteFalse_no_ext.crml
@@ -1,10 +1,10 @@
 model CteFalse_no_ext is {
 	Operator [ Boolean ]  'cte_false'  Boolean b = false;
 
-	b_true is true;
-	b_false is false;
-	b_undecided is undecided;
-	b_undefined is undefined;
+	Boolean b_true is true;
+	Boolean b_false is false;
+	Boolean b_undecided is undecided;
+	Boolean b_undefined is undefined;
 	b_cte_false_true is 'cte_false' b_true; // value should be false
 	b_cte_false_false is 'cte_false' b_false; // value should be false
 	b_cte_false_undecided is 'cte_false' b_undecided; // value should be false

diff --git a/src/test/resources/testModels/libraries/ETL_test/CteTrue_no_ext.crml b/src/test/resources/testModels/libraries/ETL_test/CteTrue_no_ext.crml
@@ -1,10 +1,10 @@
 model CteTrue_no_ext is {
 	Operator [ Boolean ]  'cte_true'  Boolean b = true;
 
-	b_true is true;
-	b_false is false;
-	b_undecided is undecided;
-	b_undefined is undefined;
+	Boolean b_true is true;
+	Boolean b_false is false;
+	Boolean b_undecided is undecided;
+	Boolean b_undefined is undefined;
 	b_cte_true_true is 'cte_true' b_true; // value should be true
 	b_cte_true_false is 'cte_true' b_false; // value should be true
 	b_cte_true_undecided is 'cte_true' b_undecided; // value should be true