summaryrefslogtreecommitdiff
path: root/test/regress/regress0/ite.cvc
blob: 0a3e7535aa2f436b72afc19adbdfc307a40e626b (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