projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3255e43) | patch
Add regression from #1978. (#5552)
authorGereon Kremer <nafur42@gmail.com>
Tue, 8 Dec 2020 20:48:21 +0000 (21:48 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Dec 2020 20:48:21 +0000 (14:48 -0600)
commit885f2f6f43460a024491390d78fe4c0cd838cafe
treebe8d526d1e34d3d74b277568dd780e8727315c51tree
parent3255e4335f25f35318a41f174ec15a28b0f0520dcommit | diff
Add regression from #1978. (#5552)

This PR adds a regression from #1978 that has been fixed in the meantime.
Closes #1978 .
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/bool/issue1978.smt2 [new file with mode: 0644] blob
test/regress/regress0/issue4707-bv-to-bool-small.smt2 diff | blob | history
test/regress/regress2/issue4707-bv-to-bool-large.smt2 diff | blob | history