diff options
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/regress0/precedence/plus-mult.cvc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress0/precedence/plus-mult.cvc b/test/regress/regress0/precedence/plus-mult.cvc index 2d87cc44a..ecd34f583 100644 --- a/test/regress/regress0/precedence/plus-mult.cvc +++ b/test/regress/regress0/precedence/plus-mult.cvc @@ -1,8 +1,8 @@ % EXPECT: VALID % Simple test for right precedence of plus/minus and mult/divide -a, b, c, d: INT; +a, b, c, d, e: INT; -QUERY (a + 2 * b - c = 3 * a + 4 * b) <=> - (((a + (2 * b)) - c) = ((3 * a) + (4 * b))); +QUERY (a + 2 * b / 3 - c / 4 * 5 + d / 6 - e ) = + ((((a + ((2 * b) / 3)) - ((c / 4) * 5)) + (d / 6)) - e); % EXIT: 20 |