projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0bc013) | patch
Add rewrite for (str.substr s x y) --> "" (#2695)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 22 Nov 2018 00:47:57 +0000 (16:47 -0800)
committerGitHub <noreply@github.com>
Thu, 22 Nov 2018 00:47:57 +0000 (16:47 -0800)
commit9f7e50702810aafd0ce67a79b4c5906b48aec4b4
tree171a8b232f4874bfa3ff52d4fae264fd24002065tree
parentf0bc0137d00946f79e62e223b849e7372cc0109fcommit | diff
Add rewrite for (str.substr s x y) --> "" (#2695)

This commit adds the rewrite `(str.substr s x y) --> "" if x >= 0 |= 0
>= str.len(s)`.
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history