From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 7 Apr 2020 01:58:17 +0000 (-0500)
Subject: Disable slow regression (#4221)
X-Git-Tag: cvc5-1.0.0~3399
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ce47c94e28028493ab648eabac4b21302b41129;p=cvc5.git

Disable slow regression (#4221)

Benchmark recently became slow, disable for now.
---

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 031dd297a..37776388b 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1942,7 +1942,6 @@ set(regress_1_tests
   regress1/sygus/uf-abduct.smt2
   regress1/sygus/unbdd_inv_gen_ex7.sy
   regress1/sygus/unbdd_inv_gen_winf1.sy
-  regress1/sygus/unifpi-solve-car_1.lus.sy
   regress1/sygus/univ_2-long-repeat.sy
   regress1/sym/q-constant.smt2
   regress1/sym/q-function.smt2
@@ -2393,6 +2392,8 @@ set(regression_disabled_tests
   regress1/sygus/Base16_1.sy
   regress1/sygus/enum-test.sy
   regress1/sygus/inv_gen_fig8.sy
+  # slow (179 seconds) in debug at 45e489e2
+  regress1/sygus/unifpi-solve-car_1.lus.sy
   # rely on heuristic solution reconstruction TODO #3146 revisit
   regress1/sygus/array_search_2.sy
   regress1/sygus/array_sum_2_5.sy