diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-06 20:58:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-06 20:58:17 -0500 |
| commit | 5ce47c94e28028493ab648eabac4b21302b41129 (patch) | |
| tree | e6c135bbb05f7ae75911e07fbc52ee34fa2ba278 /test/regress | |
| parent | fab7010523fd2e635c2c9dfd382acdefdb96d6b4 (diff) | |
Disable slow regression (#4221)
Benchmark recently became slow, disable for now.
Diffstat (limited to 'test/regress')
| -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 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 |