From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 24 May 2018 15:03:23 +0000 (-0500)
Subject: Fix nl regression for unsat cores. (#1973)
X-Git-Tag: cvc5-1.0.0~5015
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2a667f2fe506a141c1730b5c8033c750f5b2e2a1;p=cvc5.git

Fix nl regression for unsat cores. (#1973)
---

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)