Making plus-mult.cvc test a bit more torturous (as enabled by r744)

diff --git a/test/regress/regress0/precedence/plus-mult.cvc b/test/regress/regress0/precedence/plus-mult.cvc
index 2d87cc44a4ea335db9f108f5263eef7ea98ed33e..ecd34f58364fb894b6f0780d94ce4051e52e56cf 100644 (file)
--- 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