% EXPECT: entailed
% EXPECT: Cannot get model unless immediately preceded by SAT/NOT_ENTAILED or UNKNOWN response.
OPTION "logic" "ALL";
OPTION "produce-models" true;
x : INT;
QUERY x = x;
COUNTEREXAMPLE;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback