mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix overrides for created_eh

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-01-25 16:24:08 +01:00
parent bf6454dccc
commit 3de9d37772
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -501,7 +501,7 @@ public:
} }
void user_propagate_register_created(user_propagator::created_eh_t& created_eh) override { void user_propagate_register_created(user_propagator::created_eh_t& created_eh) override {
m_ctx->user_propagate_register_created(created_eh); m_created_eh = created_eh;
} }
}; };

4
src/solver/tactic2solver.cpp
View file

@ -112,6 +112,10 @@ public:
return m_tactic->user_propagate_register_expr(e); return m_tactic->user_propagate_register_expr(e);
} }
void user_propagate_register_created(user_propagator::created_eh_t& created_eh) override {
m_tactic->user_propagate_register_created(created_eh);
}
void user_propagate_clear() override { void user_propagate_clear() override {
if (m_tactic) if (m_tactic)
m_tactic->user_propagate_clear(); m_tactic->user_propagate_clear();