diff options
Diffstat (limited to 'test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2')
-rw-r--r-- | test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2 b/test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2 index a8f4ff2b9..20230a6fa 100644 --- a/test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2 +++ b/test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2 @@ -9,4 +9,5 @@ (declare-fun p () Bool) (assert (and (= a b) (forall ((x U)) (=> (and (= (f x) a) (not (= (f x) b))) p)))) (check-sat) +(get-info :reason-unknown) (exit) |