diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-27 23:16:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-27 23:16:38 -0500 |
| commit | 675e82e32a34911163f9de0e6389eb107be5b0f1 (patch) | |
| tree | a3215999b2f1550325b77d19e14a61793dafce35 /test/regress/regress0/strings/Makefile.am | |
| parent | 1fe3247a0bf4b806f99c161dcc9c6644aabb38c1 (diff) | |
Improve strings rewriter for contains (#1207)
* Work on rewriter for string contains.
* Add rewrites that mix str.to.int and str.contains. Documentation, add regression.
* Minor
* Minor
* Address review, add a few TODOs. Improve some non-digit -> not is number.
* Fix
* Simplify.
* Clang format, minor fixing of comments.
Diffstat (limited to 'test/regress/regress0/strings/Makefile.am')
| -rw-r--r-- | test/regress/regress0/strings/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index 6cdba7c9d..e27a1bfcd 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -89,7 +89,8 @@ TESTS = \ repl-empty-sem.smt2 \ bug799-min.smt2 \ strings-charat.cvc \ - issue1105.smt2 + issue1105.smt2 \ + issue1189.smt2 FAILING_TESTS = |