projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fba1437) | patch
Disable substring component contains in strip endpoints (#6266)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 3 Apr 2021 18:21:55 +0000 (13:21 -0500)
committerGitHub <noreply@github.com>
Sat, 3 Apr 2021 18:21:55 +0000 (13:21 -0500)
commit69b463e1b1150715b2f4179786ddab8ba0c43b37
treee3c1dcb7d32dc0dbb3dd159cc37ab92371bc9ce3tree
parentfba1437c772b6733ce678b93b5ef7d95e366c82dcommit | diff
Disable substring component contains in strip endpoints (#6266)

Fixes the first benchmark from #6203.
src/theory/strings/strings_entail.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue6203-1-substr-ctn-strip.smt2 [new file with mode: 0644] blob
test/unit/theory/sequences_rewriter_white.cpp diff | blob | history