mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-29 09:28:45 +00:00
Code Activity

don't rely on cleanup

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-12-04 11:48:41 -08:00
parent 3d528c8ef6
commit da765355e8
1 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/smt/tactic/smt_tactic_core.cpp
View file

@ -106,12 +106,6 @@ public:
} }
void cleanup() override { void cleanup() override {
m_user_ctx = nullptr;
m_vars.reset();
m_fixed_eh = nullptr;
m_final_eh = nullptr;
m_eq_eh = nullptr;
m_diseq_eh = nullptr;
} }
void reset_statistics() override { void reset_statistics() override {
@ -417,7 +411,11 @@ public:
user_propagator::push_eh_t& push_eh, user_propagator::push_eh_t& push_eh,
user_propagator::pop_eh_t& pop_eh, user_propagator::pop_eh_t& pop_eh,
user_propagator::fresh_eh_t& fresh_eh) override { user_propagator::fresh_eh_t& fresh_eh) override {
SASSERT(!m_user_ctx); m_vars.reset();
m_fixed_eh = nullptr;
m_final_eh = nullptr;
m_eq_eh = nullptr;
m_diseq_eh = nullptr;
m_user_ctx = ctx; m_user_ctx = ctx;
m_push_eh = push_eh; m_push_eh = push_eh;
m_pop_eh = pop_eh; m_pop_eh = pop_eh;