diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-24 10:03:23 -0500 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-24 08:03:23 -0700 |
| commit | 2a667f2fe506a141c1730b5c8033c750f5b2e2a1 (patch) | |
| tree | 380cb4cd79a98f886b7d51f15723eaaf7c3cbc02 /test/regress | |
| parent | 78b986c8c45159c1a6669602ec724dbfa2a5047b (diff) | |
Fix nl regression for unsat cores. (#1973)
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress1/nl/approx-sqrt-unsat.smt2 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress1/nl/approx-sqrt-unsat.smt2 b/test/regress/regress1/nl/approx-sqrt-unsat.smt2 index af3eda65a..576fb1a67 100644 --- a/test/regress/regress1/nl/approx-sqrt-unsat.smt2 +++ b/test/regress/regress1/nl/approx-sqrt-unsat.smt2 @@ -1,3 +1,5 @@ +; COMMAND-LINE: --nl-ext-tplanes +; EXPECT: unsat (set-logic QF_NRA) (set-info :status unsat) (declare-fun x () Real) |