projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de5552d) | patch
Fix collectEmptyEqs in string rewriter (#2692)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 7 Nov 2018 18:28:25 +0000 (10:28 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 7 Nov 2018 18:28:25 +0000 (12:28 -0600)
commit58ac30a778baf698603af98ff01aa8c17d430b32
tree401b61a75e5db4478047601af551d98db44494d5tree
parentde5552dfde079d161d52016e1be367e59fed1a7ccommit | diff
Fix collectEmptyEqs in string rewriter (#2692)
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/unsound-repl-rewrite.smt2 [new file with mode: 0644] blob
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history