diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:02:10 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:02:10 +0000 |
commit | 26c1b20086b26da79d938057b7761de95fabf731 (patch) | |
tree | b843f95b9219891ac72cab1b1d0fefc6ce505939 /test/regress/regress0/precedence/plus-mult.cvc | |
parent | 327b4bf823a8077930bdc9bf4ae7903087ee06ba (diff) |
Fixing test plus-mult.cvc by making it linear (Fixes: #184)
Diffstat (limited to 'test/regress/regress0/precedence/plus-mult.cvc')
-rw-r--r-- | test/regress/regress0/precedence/plus-mult.cvc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/precedence/plus-mult.cvc b/test/regress/regress0/precedence/plus-mult.cvc index c72b30d1c..2d87cc44a 100644 --- a/test/regress/regress0/precedence/plus-mult.cvc +++ b/test/regress/regress0/precedence/plus-mult.cvc @@ -3,6 +3,6 @@ a, b, c, d: INT; -QUERY (a + b * c - d = a * b + c * d) <=> - (((a + (b * c)) - d) = ((a * b) + (c * d))); +QUERY (a + 2 * b - c = 3 * a + 4 * b) <=> + (((a + (2 * b)) - c) = ((3 * a) + (4 * b))); % EXIT: 20 |