From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 18 Nov 2020 21:45:16 +0000 (-0600)
Subject: Disable slow nl regression (#5467)
X-Git-Tag: cvc5-1.0.0~2584
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=886acef658504eedb6e0bcc7969449bc42b65b12;p=cvc5.git

Disable slow nl regression (#5467)
---

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index c7810e90b..b12876a5c 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1419,7 +1419,6 @@ set(regress_1_tests
   regress1/lemmas/simple_startup_9nodes.abstract.base.smtv1.smt2
   regress1/model-blocker-simple.smt2
   regress1/model-blocker-values.smt2
-  regress1/nl/approx-sqrt-unsat.smt2
   regress1/nl/approx-sqrt.smt2
   regress1/nl/arctan2-expdef.smt2
   regress1/nl/arrowsmith-050317.smt2
@@ -2534,6 +2533,8 @@ set(regression_disabled_tests
   regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2
   # issue1048-arrays-int-real.smt2 -- different errors on debug and production.
   regress1/issue1048-arrays-int-real.smt2
+  # slow on some builds after changes to tangent planes
+  regress1/nl/approx-sqrt-unsat.smt2
   # times out after no expand definitions for arithmetic
   regress1/nl/issue3803-nl-check-model.smt2
   # times out after update to tangent planes