summaryrefslogtreecommitdiff
path: root/test/regress/regress0/precedence/plus-mult.cvc
blob: c72b30d1c0ed32b30e9746c42fe71ebbe5557cba (plain) 
1
2
3
4
5
6
7
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback