projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfe1431) | patch
Add benchmark for issue 5942 (#6296)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 6 Apr 2021 17:06:46 +0000 (12:06 -0500)
committerGitHub <noreply@github.com>
Tue, 6 Apr 2021 17:06:46 +0000 (17:06 +0000)
commita2dc926f14b304aecf57975ee44903664b7ead30
treea983bf0ad2c52063ae2a688cdf05ab93f0e44229tree
parentcfe1431aaae7366dea1d3124742ee2b2c2a2511ecommit | diff
Add benchmark for issue 5942 (#6296)

Fixes #5942.

This benchmark was fixed by recent changes to ppRewrite.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sets/issue5942-witness.smt2 [new file with mode: 0644] blob