diff options
Diffstat (limited to 'test/regress/regress0/uflia/microwave21.ec.minimized.smt2')
-rw-r--r-- | test/regress/regress0/uflia/microwave21.ec.minimized.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/uflia/microwave21.ec.minimized.smt2 b/test/regress/regress0/uflia/microwave21.ec.minimized.smt2 index 0d9accb91..b37db9a1e 100644 --- a/test/regress/regress0/uflia/microwave21.ec.minimized.smt2 +++ b/test/regress/regress0/uflia/microwave21.ec.minimized.smt2 @@ -1,7 +1,7 @@ ; initialize_defs ; PROPERTY DEFGEN (set-logic QF_UFNIA) -(set-info :status sat) +(set-info :status unsat) (declare-fun _base () Int) (declare-fun _n () Int) (assert (>= _n 0)) @@ -441,4 +441,4 @@ ; not refinement_pass (assert (not (=> (= _base (- 0 1)) (and (P (- 0 1)) (P 0))))) (assert true) -(check-sat)
\ No newline at end of file +(check-sat) |