From 886acef658504eedb6e0bcc7969449bc42b65b12 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 18 Nov 2020 15:45:16 -0600 Subject: [PATCH] Disable slow nl regression (#5467) --- test/regress/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2