projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd04758) | patch
Add quant elim regression (#6103)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 10 Mar 2021 15:55:46 +0000 (09:55 -0600)
committerGitHub <noreply@github.com>
Wed, 10 Mar 2021 15:55:46 +0000 (16:55 +0100)
commit2ff196ccba2ce611fe7320ef775955c291d34dab
treea3c92d726c9b840e61be759646be67326783287ftree
parentdd047586cf049a132e46fe561bee4716e0aec455commit | diff
Add quant elim regression (#6103)

Fixes #5658.

This was fixed by recent refactoring to quantifier elimination, adding the regression to close the issue.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/issue5658-qe.smt2 [new file with mode: 0644] blob