From 5ce47c94e28028493ab648eabac4b21302b41129 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 6 Apr 2020 20:58:17 -0500 Subject: [PATCH] Disable slow regression (#4221) Benchmark recently became slow, disable for now. --- 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 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 -- 2.30.2