projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fb5354) | patch
Add regressions from #5099 (#5557)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 1 Dec 2020 15:08:07 +0000 (16:08 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 15:08:07 +0000 (16:08 +0100)
commit75359f120b1cdfa77add48ef11c776f530783c31
tree8293b4d7d30abf4c3078334401bc95c0625db31etree
parent7fb5354114c7e17260b3ff520decf340734d52fecommit | diff
Add regressions from #5099 (#5557)

The issue from #5099 has been fixed in the meantime, this PR adds the examples as regressions.
Closes #5099.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/issue5099-model-1.smt2 [new file with mode: 0644] blob
test/regress/regress0/issue5099-model-2.smt2 [new file with mode: 0644] blob