diff options
Diffstat (limited to 'test/regress/regress0/precedence/bool-cmp.cvc')
-rw-r--r-- | test/regress/regress0/precedence/bool-cmp.cvc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regress/regress0/precedence/bool-cmp.cvc b/test/regress/regress0/precedence/bool-cmp.cvc new file mode 100644 index 000000000..ef1345cc1 --- /dev/null +++ b/test/regress/regress0/precedence/bool-cmp.cvc @@ -0,0 +1,7 @@ +% EXPECT: VALID +% Simple test for right precedence of comparisons and booleans + +x , y, z: INT; + +QUERY (x > y AND y = z OR x < z) <=> (((x > y) AND (y = z)) OR (x < z)); +% EXIT: 20 |