diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-01 10:45:40 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-04-01 12:45:40 -0500 |
| commit | fe18be6fe6ac58bf6ccdb1ca18c7fae2de881aaa (patch) | |
| tree | bfb3866611697b5fb3711e57adf78bd79dfee4a6 /test | |
| parent | 995beb51ffe0334ce40391085a0d666f8e301eb3 (diff) | |
Move slow string regression to regress3 (#2913)
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/regress/regress3/strings/extf_d_perf.smt2 (renamed from test/regress/regress2/strings/extf_d_perf.smt2) | 0 |
2 files changed, 1 insertions, 1 deletions
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 index 7ad094dcb..7ad094dcb 100644 --- a/test/regress/regress2/strings/extf_d_perf.smt2 +++ b/test/regress/regress3/strings/extf_d_perf.smt2 |