diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-10 17:36:45 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-10 17:36:58 -0500 |
| commit | e8598e2420e2ee2c75abfb6629818299c7ab40f6 (patch) | |
| tree | a727400a683fff8e2455e44dc04de68d94e08c6a /test | |
| parent | 841acca266b026c9c1d20cb1adf0e73da15a0c10 (diff) | |
Improvements to strings: work on propagations for reverse normal form processing. Better handling of disequalities, constant splitting and neg contain approximation. Introduce proxy vars for replace. Refactoring.
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/strings/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index 9d7e9e13e..b305b69c6 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -67,7 +67,6 @@ TESTS = \ bug612.smt2 \ bug615.smt2 \ kaluza-fl.smt2 \ - norn-ab.smt2 \ idof-rewrites.smt2 \ bug682.smt2 \ bug686dd.smt2 \ @@ -94,6 +93,7 @@ EXTRA_DIST = $(TESTS) EXTRA_DIST += #norn-dis-0707-3.smt2 +#norn-ab.smt2 # synonyms for "check" .PHONY: regress regress0 test |