projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41554fa) | patch
Fix issues related to model declarations (#5560)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Dec 2020 00:00:49 +0000 (18:00 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 00:00:49 +0000 (18:00 -0600)
commit798644e64f438f320577a444110744041e39d1ff
tree52e5d20895d7b7e2da15115ac62bc1db138a4debtree
parent41554fa3d4a8258bbc842aedad87cd218460ee0acommit | diff
Fix issues related to model declarations (#5560)

This corrects two issues related to model declarations:
(1) model declaration terms were mistaken not cleared,
(2) the model needs to be explicitly destructed before the node manager because it contains references to Node.

Fixes #5540
src/smt/model.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/issue5540-2-dump-model.smt2 [new file with mode: 0644] blob
test/regress/regress0/issue5540-model-decls.smt2 [new file with mode: 0644] blob