diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-27 16:58:25 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-27 21:58:25 +0000 |
commit | 145d58ae0146ba591cd0d5531208e78abd849019 (patch) | |
tree | 97e6495fb68ff917ff4530e6b24876a54e4a4e36 | |
parent | d524948b58c4c3f61c623649049f6209b7756ed6 (diff) |
Move slow regression to regress3 (#6451)
Benchmark is taking 40 seconds on production, due to the configuration that tests --check-unsat-cores.
-rw-r--r-- | test/regress/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/regress/regress3/hole10.cvc (renamed from test/regress/regress2/hole10.cvc) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index f2d017e02..8773c3583 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2374,7 +2374,6 @@ set(regress_2_tests regress2/ho/SYO362^5.p regress2/hole7.cvc regress2/hole8.cvc - regress2/hole10.cvc regress2/instance_1444.smtv1.smt2 regress2/issue3687-check-models.smt2 regress2/issue4707-bv-to-bool-large.smt2 @@ -2474,6 +2473,7 @@ set(regress_3_tests regress3/friedman_n4_i5.smtv1.smt2 regress3/friedman_n6_i4.smtv1.smt2 regress3/hole9.cvc + regress3/hole10.cvc regress3/incorrect1.smtv1.smt2 regress3/interpol2.smt2 regress3/inv_gen_n_c11.sy diff --git a/test/regress/regress2/hole10.cvc b/test/regress/regress3/hole10.cvc index fb4c41b35..fb4c41b35 100644 --- a/test/regress/regress2/hole10.cvc +++ b/test/regress/regress3/hole10.cvc |