diff options
Diffstat (limited to 'test/regress/regress0/precedence/plus-mult.cvc')
| -rw-r--r-- | test/regress/regress0/precedence/plus-mult.cvc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/regress/regress0/precedence/plus-mult.cvc b/test/regress/regress0/precedence/plus-mult.cvc new file mode 100644 index 000000000..c72b30d1c --- /dev/null +++ b/test/regress/regress0/precedence/plus-mult.cvc @@ -0,0 +1,8 @@ +% EXPECT: VALID +% Simple test for right precedence of plus/minus and mult/divide + +a, b, c, d: INT; + +QUERY (a + b * c - d = a * b + c * d) <=> + (((a + (b * c)) - d) = ((a * b) + (c * d))); +% EXIT: 20 |