mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

prevent stale user-propagators from being used on the same tactic after it was applied.

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-12-04 11:51:00 -08:00
parent da765355e8
commit 1b0ac4940b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -140,6 +140,7 @@ public:
~scoped_init_ctx() { ~scoped_init_ctx() {
smt::kernel * d = m_owner.m_ctx; smt::kernel * d = m_owner.m_ctx;
m_owner.m_ctx = nullptr; m_owner.m_ctx = nullptr;
m_owner.m_user_ctx = nullptr;
if (d) if (d)
dealloc(d); dealloc(d);