projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7a3192) | patch
Add regressions for fixed issues (#7421)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 20 Oct 2021 22:28:52 +0000 (17:28 -0500)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 22:28:52 +0000 (22:28 +0000)
commitdc23d706d8fa567d40b334dd89289595f5b0961a
tree36b6fd938d7ef6f5d1ab9775d40033c5ff6c19fbtree
parentc7a319286027448d678327f3e950b2e6138a6abbcommit | diff
Add regressions for fixed issues (#7421)

Fixes #5288, fixes (the 3rd benchmark on) #5741, fixes #6184, fixes #5735, which do not trigger on master.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/ho/issue5741-3.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue5288-vts-real-int.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue5735-2-subtypes.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue5735-subtypes.smt2 [new file with mode: 0644] blob
test/regress/regress1/strings/issue6184-unsat-core.smt2 [new file with mode: 0644] blob