diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-26 14:42:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-26 14:42:49 -0500 |
commit | ea8937689b097d41c70060ed17495feed5d6b95b (patch) | |
tree | d012e0b91fa70c155c6f1498db1faad965a53f62 | |
parent | c9fd28a391cfff767b899a65ad365742745910fe (diff) |
Disable slow regression (#4157)
Should fix timeout in asan build.
-rw-r--r-- | test/regress/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
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 |