projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6710b08) | patch
Add strings-exp to regression (#4923)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 20 Aug 2020 00:02:48 +0000 (19:02 -0500)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 00:02:48 +0000 (19:02 -0500)
commita2d3808e2934ab660c709b45c184ae973375eb61
tree0b253674095c7a4a7ad6a1a334d5d0c4793a2c4etree
parent6710b082bc6fa8c7f67203a4013657e069479119commit | diff
Add strings-exp to regression (#4923)

str.at expands to str.substr, thus this benchmark (may) require strings-exp if things do not rewrite/preprocess. This triggers a regress0 failure on proof-new currently.
test/regress/regress0/strings/unsound-0908.smt2 diff | blob | history