Generalize check-model in NonLinearExtension for quadratic equations (#1892)

[cvc5.git] / test / regress / Makefile.tests

diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests
index 4324171a82894c1eac934b53f4ebd695e099b129..bd5002921e79b65375bee237c96d512d9ef18c40 100644 (file)
--- a/test/regress/Makefile.tests
+++ b/test/regress/Makefile.tests
@@ -1106,6 +1106,8 @@ REG1_TESTS = \
        regress1/lemmas/pursuit-safety-8.smt \
        regress1/lemmas/simple_startup_9nodes.abstract.base.smt \
        regress1/nl/NAVIGATION2.smt2 \
+       regress1/nl/approx-sqrt.smt2 \
+       regress1/nl/approx-sqrt-unsat.smt2 \
        regress1/nl/arctan2-expdef.smt2 \
        regress1/nl/arrowsmith-050317.smt2 \
        regress1/nl/bad-050217.smt2 \
@@ -1151,6 +1153,7 @@ REG1_TESTS = \
        regress1/nl/sin1-ub.smt2 \
        regress1/nl/sin2-lb.smt2 \
        regress1/nl/sin2-ub.smt2 \
+       regress1/nl/solve-eq-small-qf-nra.smt2 \
        regress1/nl/sqrt-problem-1.smt2 \
        regress1/nl/sugar-ident-2.smt2 \
        regress1/nl/sugar-ident-3.smt2 \