projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c9fd28a)
Disable slow regression (#4157)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 26 Mar 2020 19:42:49 +0000 (14:42 -0500)
committerGitHub <noreply@github.com>
Thu, 26 Mar 2020 19:42:49 +0000 (14:42 -0500)
Should fix timeout in asan build.

test/regress/CMakeLists.txt patch | blob | history

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 0eb6bc2d2a40992a9f2ebc287647ff9a34e12067..8fab16b4493d6133fae9f04a934f8666ee01d2f6 100644 (file)
--- 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