summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug322b.cvc
blob: d10292dd5cb0243c4953c1c2304806a788fc5b7e (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

% COMMAND-LINE: --incremental
% EXPECT: valid
% EXPECT: valid
% EXPECT: valid
% EXIT: 20
x : INT;
y : INT = x + 1;
z : INT = -10;
identity : INT -> INT = LAMBDA(x:INT) : x;
QUERY identity(x) = x;
QUERY identity(y) > x;
QUERY identity(z) = -10;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback