projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9fcf2d) | patch
Add regression for fixed `str.indexof_re` issue (#6938)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 27 Jul 2021 11:57:02 +0000 (04:57 -0700)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 11:57:02 +0000 (11:57 +0000)
commit94943076044eb21793c2cb6d202e8dd9eb9e184e
tree4f8a92634f5f40b50f944b805c4dd1780aacde66tree
parenta9fcf2d394e3d36c6058d480e350cda350935f70commit | diff
Add regression for fixed `str.indexof_re` issue (#6938)

Fixes #6639. The issue cannot be reproduced on current master and git bisect suggests that commit adf497a
fixed the issue.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress2/strings/issue6639-replace-re-all.smt2 [new file with mode: 0644] blob