diff options
| -rw-r--r-- | test/regress/regress0/cores/issue4971-0.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress0/cores/issue4971-0.smt2 b/test/regress/regress0/cores/issue4971-0.smt2 index 75878183c..16fdc2b77 100644 --- a/test/regress/regress0/cores/issue4971-0.smt2 +++ b/test/regress/regress0/cores/issue4971-0.smt2 @@ -1,5 +1,5 @@ -; COMMAND-LINE: --incremental -q --check-unsat-cores -; EXPECT: unknown +; COMMAND-LINE: --incremental -q --check-unsat-cores --cegqi-full +; EXPECT: unsat ; EXPECT: unsat ; EXPECT: ( ; EXPECT: IP_1 @@ -15,4 +15,4 @@ (assert (! (or (< (abs 404) i4) v14 v1) :named IP_51)) (check-sat) (check-sat-assuming (IP_33 IP_51)) -(get-unsat-core)
\ No newline at end of file +(get-unsat-core) |