projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4b1586) | patch
Change str.replace for empty string.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 9 May 2017 22:16:06 +0000 (17:16 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 9 May 2017 22:16:06 +0000 (17:16 -0500)
commit1ba6da827023f0980ad5a00772dd91665620d2a4
tree9227e0e0d69d5fce9dfb8859c0e64d4ea98e61bftree
parentf4b158635255affcafe52c7664fc5de4660c3f83commit | diff
Change str.replace for empty string.
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/repl-empty-sem.smt2 [new file with mode: 0644] blob