projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3609bd8) | patch
Add regression for fixed issue (#7395)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 18 Oct 2021 22:59:38 +0000 (17:59 -0500)
committerGitHub <noreply@github.com>
Mon, 18 Oct 2021 22:59:38 +0000 (22:59 +0000)
commit9547f16cd326b71a41e96a42d094170e426561a4
tree9b750734673b684d47a28486670723bf6a73449etree
parent3609bd8a3ef60a0ed61927567f5321eb28365858commit | diff
Add regression for fixed issue (#7395)

Fixes #6653.

The third benchmark on that issue is no longer an issue, this adds it as a regression, which is the last open benchmark on the referenced issue.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue6653-3-seq.smt2 [new file with mode: 0644] blob