projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d452621) | patch
Add regression for #4335. (#5554)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 1 Dec 2020 14:36:37 +0000 (15:36 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 14:36:37 +0000 (15:36 +0100)
commit7fb5354114c7e17260b3ff520decf340734d52fe
tree852537d07fe7e73a7b7606a27e715d86a3235f77tree
parentd452621ef035a0127d691618e85a4fa2ab6fa027commit | diff
Add regression for #4335. (#5554)

The error from #4335 has been fixed in the meantime, this PR adds a regression for this issue.
Closes #4335.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/issue4335-unsat-core.smt2 [new file with mode: 0644] blob