projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bbf41f) | patch
Fix strings rewriter for non-standard re range (#6570)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 May 2021 19:42:21 +0000 (14:42 -0500)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 19:42:21 +0000 (19:42 +0000)
commit64d727b9dc07bfde5d8a1c326f5fcfe0d1a79a4b
treecfa42ee1239ce63e33d18ee01e0afd4a8fe151c5tree
parent9bbf41fb6cb5a33cfbfc3a711b82a4783a61b66fcommit | diff
Fix strings rewriter for non-standard re range (#6570)

Fixes #6561.

Previously we missed a case where a rewrite fired for (re.range x x) where x is not a character.
src/theory/strings/sequences_rewriter.cpp diff | blob | history