projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a56e62) | patch
reset-assertions: Update TheoryEngine's PropEngine* (#4032)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 11 Mar 2020 18:57:22 +0000 (11:57 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 18:57:22 +0000 (13:57 -0500)
commit05dc596e5b9ef9d4c45e2fa92a56ef1ec2aede76
tree0076981a2f8caba321017c5a7a02e3ed81ffe72etree
parent8a56e62da0a8940f0ae1ee9575398e5f21660097commit | diff
reset-assertions: Update TheoryEngine's PropEngine* (#4032)

Fixes #4028. TheoryEngine's pointer was not updated to the new
PropEngine when resetting assertions. This commit fixes that. As far
as I can tell, this was the only class storing a PropEngine* that
isn't owned by PropEngine, so we should hopefully not have other
similar issues.
src/smt/smt_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/smtlib/issue4028.smt2 [new file with mode: 0644] blob