test: tck tests now check that AND and OR operators are short circuit…

… evaluated (#1279) * test: tck tests now check that AND and OR operators are short circuit evaluated Signed-off-by: Calum Murray <[email protected]> * fix: test for OR short circuiting uses the OR operator Signed-off-by: Calum Murray <[email protected]> * test: verify that AND and OR only short circuit when expected to Signed-off-by: Calum Murray <[email protected]> --------- Signed-off-by: Calum Murray <[email protected]>
cloudevents · May 23, 2024 · e79d7b2 · e79d7b2
1 parent d697a87
commit e79d7b2
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/cesql/cesql_tck/binary_logical_operators.yaml b/cesql/cesql_tck/binary_logical_operators.yaml
@@ -12,6 +12,12 @@ tests:
   - name: True and true
     expression: TRUE AND TRUE
     result: true
+  - name: AND operator is short circuit evaluated
+    expression: "false and (1 != 1 / 0)"
+    result: false 
+  - name: AND operator is NOT short circuit evaluated when the first operand evaluates to true
+    expression: "true and (1 != 1 / 0)"
+    error: math
 
   - name: False or false
     expression: FALSE OR FALSE
@@ -25,6 +31,12 @@ tests:
   - name: True or true
     expression: TRUE OR TRUE
     result: true
+  - name: OR operator is short circuit evaluated
+    expression: "true or (1 != 1 / 0)"
+    result: true
+  - name: OR operator is NOT short circuit evaluated when the first operand evaluates to false
+    expression: "false or (1 != 1 / 0)"
+    error: math
 
   - name: False xor false
     expression: FALSE XOR FALSE