projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c78ef9) | patch
Fix component contains for splicing due to substring. (#4705)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 1 Aug 2020 07:20:24 +0000 (02:20 -0500)
committerGitHub <noreply@github.com>
Sat, 1 Aug 2020 07:20:24 +0000 (00:20 -0700)
commitd8c343c00426577ba94b3dc984557a9440b6b1bd
tree3eeffc2c73d55688bcb6dc3a193168bcbdbd4b85tree
parent0c78ef9adbddbc7ed875c3c3a41f60e48abdd17fcommit | diff
Fix component contains for splicing due to substring. (#4705)

Fixes #4701. That benchmark now times out.
src/theory/strings/strings_entail.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue4701_substr_splice.smt2 [new file with mode: 0644] blob