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

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