diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-12 11:01:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-12 11:01:24 -0500 |
| commit | 9cd5bbf8c659d2e260bad71a841f5153f358a58b (patch) | |
| tree | 2d160602ad2280bb32b1bb6a856d23c4f76fd92d | |
| parent | 0073464e433e80311269ce07e0fa5de417b5eefc (diff) | |
Move slow nl regression to regress3 (#4276)
Should fix nightlies.
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/regress/regress3/siegel-nl-bases.smt2 (renamed from test/regress/regress2/nl/siegel-nl-bases.smt2) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 06dc2d87c..01092cf6e 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2021,7 +2021,6 @@ set(regress_2_tests regress2/instance_1444.smtv1.smt2 regress2/javafe.ast.StandardPrettyPrint.319_no_forall.smt2 regress2/javafe.ast.WhileStmt.447_no_forall.smt2 - regress2/nl/siegel-nl-bases.smt2 regress2/ooo.rf6.smt2 regress2/ooo.tag10.smt2 regress2/piVC_5581bd.smt2 @@ -2097,6 +2096,7 @@ set(regress_3_tests regress3/issue4170.smt2 regress3/pp-regfile.smtv1.smt2 regress3/qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2 + regress3/siegel-nl-bases.smt2 regress3/sixfuncs.sy regress3/strings-any-term.sy regress3/strings/extf_d_perf.smt2 diff --git a/test/regress/regress2/nl/siegel-nl-bases.smt2 b/test/regress/regress3/siegel-nl-bases.smt2 index cf6e3ab5e..cf6e3ab5e 100644 --- a/test/regress/regress2/nl/siegel-nl-bases.smt2 +++ b/test/regress/regress3/siegel-nl-bases.smt2 |