projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 467a94c) | patch
Adding regressions that failed on old unsat cores (#6574)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 19 May 2021 21:05:07 +0000 (18:05 -0300)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 21:05:07 +0000 (21:05 +0000)
commit1c0a94f3797c0746c760009975012cfd0a247583
tree9f306a9fc45c978fafef2f662c4f21a78016e84ftree
parent467a94cde962d90d3970c4378fc5f2b8a2476352commit | diff
Adding regressions that failed on old unsat cores (#6574)

We can thus close #3455, #3651, #4925, #5079, #5238, #5902, #5908, and #5604.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/cores/issue3455.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue3651.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue4925.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue4971-3.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue5079.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue5238.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue5902.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue5908.smt2 [new file with mode: 0644] blob
test/regress/regress1/cores/issue5604.smt2 [new file with mode: 0644] blob