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

% EXPECT: INVALID
A: TYPE;
B: TYPE;
x, y: A;
a, b: A;

f: A -> B;

ASSERT (x = a OR x = b) AND (y = b OR y = a);
QUERY (f(x) = f(y));

% EXIT: 10
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback