projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7649c3b) | patch
Add more regressions for fixed issues (#7382)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 15 Oct 2021 22:57:00 +0000 (17:57 -0500)
committerGitHub <noreply@github.com>
Fri, 15 Oct 2021 22:57:00 +0000 (22:57 +0000)
commit82a71608588e2cbf7ef581940abccb2f9632eef4
treee2595a14d490d453ade5fb15bb1d4f597b720de4tree
parent7649c3ba5d8df6665ff2ac18cb5df5a8dbfcd4a2commit | diff
Add more regressions for fixed issues (#7382)

Fixes #6535, Fixes #6475, Fixes #5660, Fixes #6607, Fixes #6638, Fixes #6642, Fixes #6775.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/push-pop/issue6535-inc-solve.smt2 [new file with mode: 0644] blob
test/regress/regress0/quantifiers/issue6475-rr-const.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/issue5660-mb-success.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue6607-witness-te.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue6638-sygus-inst.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue6642-em-types.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue6775-vts-int.smt2 [new file with mode: 0644] blob