From 145d58ae0146ba591cd0d5531208e78abd849019 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 27 Apr 2021 16:58:25 -0500 Subject: [PATCH] Move slow regression to regress3 (#6451) Benchmark is taking 40 seconds on production, due to the configuration that tests --check-unsat-cores. --- test/regress/CMakeLists.txt | 2 +- test/regress/{regress2 => regress3}/hole10.cvc | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/{regress2 => regress3}/hole10.cvc (100%) 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 similarity index 100% rename from test/regress/regress2/hole10.cvc rename to test/regress/regress3/hole10.cvc -- 2.30.2