diff options
| -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 |