From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 26 Mar 2020 19:42:49 +0000 (-0500)
Subject: Disable slow regression (#4157)
X-Git-Tag: cvc5-1.0.0~3442
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea8937689b097d41c70060ed17495feed5d6b95b;p=cvc5.git

Disable slow regression (#4157)

Should fix timeout in asan build.
---

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 0eb6bc2d2..8fab16b44 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1857,7 +1857,6 @@ set(regress_1_tests
   regress1/sygus/issue3498.smt2
   regress1/sygus/issue3514.smt2
   regress1/sygus/issue3507.smt2
-  regress1/sygus/issue3580.sy
   regress1/sygus/issue3633.smt2
   regress1/sygus/issue3634.smt2
   regress1/sygus/issue3635.smt2
@@ -2388,6 +2387,8 @@ set(regression_disabled_tests
   regress1/sygus/array_search_2.sy
   regress1/sygus/array_sum_2_5.sy
   regress1/sygus/crcy-si-rcons.sy
+  # currently slow at c9fd28a
+  regress1/sygus/issue3580.sy
   regress2/arith/arith-int-098.cvc
   regress2/arith/miplib-opt1217--27.smt2
   regress2/arith/miplib-pp08a-3000.smt2