summaryrefslogtreecommitdiff
path: root/test/regress/regress0/ite.cvc
blob: 5094c997d1f6e9dc33ef9b9fc2e8ed4a06855c9d (plain) 
1
2
3
4

% EXPECT: unsat
% EXIT: 20
x, y : REAL;
CHECKSAT (NOT (x = IF TRUE THEN x ELSE y ENDIF));
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback