projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 558efa2) | patch
Add regressions from #3687. (#5553)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 2 Dec 2020 05:22:56 +0000 (06:22 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 05:22:56 +0000 (23:22 -0600)
commit901cea314c4dc3be411c345e42c858063fe5aa1b
tree413b99fb49ef53f2394fe6cf89e0d618f49eac08tree
parent558efa2593fda09235c5f2163836771680d3442acommit | diff
Add regressions from #3687. (#5553)

The error from #3687 has been fixed in the meantime.
This PR adds the two examples from this issue as regressions.
Closes #3687
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/aufbv/issue3687-check-models-small.smt2 [new file with mode: 0644] blob
test/regress/regress2/issue3687-check-models.smt2 [new file with mode: 0644] blob