From ea8937689b097d41c70060ed17495feed5d6b95b Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 26 Mar 2020 14:42:49 -0500 Subject: [PATCH] Disable slow regression (#4157) Should fix timeout in asan build. --- 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 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 -- 2.30.2