projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 467ef86) | patch
Strings: Remove redundant replace rewrite (#2822)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 29 Jan 2019 18:17:06 +0000 (10:17 -0800)
committerGitHub <noreply@github.com>
Tue, 29 Jan 2019 18:17:06 +0000 (10:17 -0800)
commit1eaf6cf987fa1452528dc0598ca7235be735ba3b
treec327198308289e343aabf576ff3e3a05637aa166tree
parent467ef8692009f440bda74083d476131ff1e88b51commit | diff
Strings: Remove redundant replace rewrite (#2822)

Pulling the first constant string from a replace if there is no overlap
with the search term is subsumed by the rewrite using
`stripConstantEndpoints()`.
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history