test/regress/regress0/cvc-rerror-print.cvc

   1 % EXPECT: entailed
   2 % EXPECT: Cannot get model unless immediately preceded by SAT/NOT_ENTAILED or UNKNOWN response.
   3 OPTION "logic" "ALL";
   4 OPTION "produce-models" true;
   5 x : INT;
   6 QUERY x = x;
   7 COUNTEREXAMPLE;