diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-12-04 14:18:16 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-04 14:18:16 -0600 |
commit | b7a4d6b22d32728ce1a024e7058be3f80e52a119 (patch) | |
tree | 6002f61e458174d18e7780b890ba31418af3c8bb /test/regress/regress0/strings/Makefile.am | |
parent | 6cde6bda109b2005faa01650a50a74eafa557c20 (diff) |
Fix strings rewriter for strip constant endpoint reverse direction (#1424)
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 99fd2b630..18b07b91d 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -94,7 +94,8 @@ TESTS = \ rewrites-v2.smt2 \ substr-rewrites.smt2 \ norn-ab.smt2 \ - type002.smt2 + type002.smt2 \ + strip-endpt-sound.smt2 FAILING_TESTS = |