From fe18be6fe6ac58bf6ccdb1ca18c7fae2de881aaa Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 1 Apr 2019 10:45:40 -0700 Subject: [PATCH] Move slow string regression to regress3 (#2913) --- test/regress/CMakeLists.txt | 2 +- test/regress/{regress2 => regress3}/strings/extf_d_perf.smt2 | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/{regress2 => regress3}/strings/extf_d_perf.smt2 (100%) diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 55c777f80..c6ccab464 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1749,7 +1749,6 @@ set(regress_2_tests regress2/strings/cmu-disagree-0707-dd.smt2 regress2/strings/cmu-prereg-fmf.smt2 regress2/strings/cmu-repl-len-nterm.smt2 - regress2/strings/extf_d_perf.smt2 regress2/strings/issue918.smt2 regress2/strings/non_termination_regular_expression6.smt2 regress2/strings/norn-dis-0707-3.smt2 @@ -1798,6 +1797,7 @@ set(regress_3_tests regress3/pp-regfile.smt regress3/qwh.35.405.shuffled-as.sat03-1651.smt regress3/sixfuncs.sy + regress3/strings/extf_d_perf.smt2 ) #-----------------------------------------------------------------------------# diff --git a/test/regress/regress2/strings/extf_d_perf.smt2 b/test/regress/regress3/strings/extf_d_perf.smt2 similarity index 100% rename from test/regress/regress2/strings/extf_d_perf.smt2 rename to test/regress/regress3/strings/extf_d_perf.smt2 -- 2.30.2