diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-01 22:07:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-01 20:07:45 -0700 |
| commit | 3090c2d241e48ec40cc780ca7a1e82596724c474 (patch) | |
| tree | c4b4d905badc3347641ba31eb08249684fa15898 | |
| parent | 2799fd28155ef85aba68c90bc65fe52f529cdd7e (diff) | |
Move slow regression to regress3 (#4430)
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/regress/regress3/arith_prp-13-24.smt2 (renamed from test/regress/regress2/arith/prp-13-24.smt2) | 0 |
2 files changed, 1 insertions, 1 deletions
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 index ffb7fcb0f..ffb7fcb0f 100644 --- a/test/regress/regress2/arith/prp-13-24.smt2 +++ b/test/regress/regress3/arith_prp-13-24.smt2 |