projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75e5693) | patch
[unsat cores] Adding regressions from #4971 (#6852)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 7 Jul 2021 20:53:20 +0000 (17:53 -0300)
committerGitHub <noreply@github.com>
Wed, 7 Jul 2021 20:53:20 +0000 (20:53 +0000)
commit299b9e0cee11e2b3da1aad5ffbd2f6a8b949d3fe
tree1626294ba8a81c519ff469171850b7840d8a2a87tree
parent75e56930987398a02d1c90c723b4f18ea7c0d7c4commit | diff
[unsat cores] Adding regressions from #4971 (#6852)

Adds remaining regressions from issue #4791, which we can handle with the different new unsat-core modes. Note that issue4971-1.smt2 requires the sat-proof mode for unsat cores.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/cores/issue4971-0.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue4971-1.smt2 [new file with mode: 0644] blob
test/regress/regress0/cores/issue4971-2.smt2 [new file with mode: 0644] blob