diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2019-04-01 10:05:16 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2019-04-01 10:05:16 -0700 |
| commit | aa27ac5a621968cf651763d22935555c7ae5fe63 (patch) | |
| tree | bfb3866611697b5fb3711e57adf78bd79dfee4a6 /test | |
| parent | 995beb51ffe0334ce40391085a0d666f8e301eb3 (diff) | |
Move slow string regression to regress3moveSlowReg
One of our string regression tests became slower with recent changes and
is now timing out occasionally when running with ASAN. To prevent
failures during nightly builds, we have decided to move the test to
regress3.
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 |