diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-19 18:10:02 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-19 18:10:02 +0200 |
commit | 497b027d87c0cdd9cf3da25acf3d9b0969020a57 (patch) | |
tree | a96a23a61177df7cd643b24cf64905f1de9964df /test | |
parent | c23245dbdc936c0a9dd9d8f071405f922dbfd02d (diff) |
Improve stratification of strings extended function reductions, add regressions. Eliminate preprocess for regexp.
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/strings/Makefile.am | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index 962340a91..4d1da2efb 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -70,15 +70,14 @@ TESTS = \ norn-ab.smt2 \ idof-rewrites.smt2 \ bug682.smt2 \ - bug686dd.smt2 - -FAILING_TESTS = - -EXTRA_DIST = $(TESTS) \ + bug686dd.smt2 \ + idof-handg.smt2 \ fmf001.smt2 \ type002.smt2 -# somewhat slow after changes on Oct 6: idof-handg.smt2 +FAILING_TESTS = + +EXTRA_DIST = $(TESTS) # and make sure to distribute it EXTRA_DIST += |