diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:25:36 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:25:36 +0000 |
commit | 97eb2d77fddb9c690cc2ebc2caff98d62467b671 (patch) | |
tree | 65497855d1341f9d6f95df8adf1e706f3b7dcef4 /test/regress/regress0/precedence | |
parent | 3b017f6c69c9a32e229fe3a9e8b5aeacbfc35a47 (diff) |
Making plus-mult.cvc test a bit more torturous (as enabled by r744)
Diffstat (limited to 'test/regress/regress0/precedence')
-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 |