From 3090c2d241e48ec40cc780ca7a1e82596724c474 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 1 May 2020 22:07:45 -0500 Subject: [PATCH] Move slow regression to regress3 (#4430) --- test/regress/CMakeLists.txt | 2 +- .../arith/prp-13-24.smt2 => regress3/arith_prp-13-24.smt2} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/{regress2/arith/prp-13-24.smt2 => regress3/arith_prp-13-24.smt2} (100%) diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 1dcdb0a44..97a521028 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1999,7 +1999,6 @@ set(regress_2_tests regress2/GEO123+1.minimized.smt2 regress2/arith/abz5_1400.smtv1.smt2 regress2/arith/lpsat-goal-9.smt2 - regress2/arith/prp-13-24.smt2 regress2/arith/pursuit-safety-11.smtv1.smt2 regress2/arith/pursuit-safety-12.smtv1.smt2 regress2/arith/sc-7.base.cvc.smtv1.smt2 @@ -2098,6 +2097,7 @@ set(regress_2_tests # Regression level 3 tests set(regress_3_tests + regress3/arith_prp-13-24.smt2 regress3/bmc-ibm-1.smtv1.smt2 regress3/bmc-ibm-2.smtv1.smt2 regress3/bmc-ibm-5.smtv1.smt2 diff --git a/test/regress/regress2/arith/prp-13-24.smt2 b/test/regress/regress3/arith_prp-13-24.smt2 similarity index 100% rename from test/regress/regress2/arith/prp-13-24.smt2 rename to test/regress/regress3/arith_prp-13-24.smt2 -- 2.30.2