From 9cd5bbf8c659d2e260bad71a841f5153f358a58b Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Sun, 12 Apr 2020 11:01:24 -0500 Subject: [PATCH] Move slow nl regression to regress3 (#4276) Should fix nightlies. --- test/regress/CMakeLists.txt | 2 +- test/regress/{regress2/nl => regress3}/siegel-nl-bases.smt2 | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/{regress2/nl => regress3}/siegel-nl-bases.smt2 (100%) 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 similarity index 100% rename from test/regress/regress2/nl/siegel-nl-bases.smt2 rename to test/regress/regress3/siegel-nl-bases.smt2 -- 2.30.2