mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

update do logging

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-02-19 09:59:33 -08:00
parent a6eed9f00c
commit 6352340478
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/mam.cpp
View file

@ -3958,7 +3958,7 @@ namespace {
void relevant_eh(enode * n, bool lazy) override { void relevant_eh(enode * n, bool lazy) override {
TRACE("trigger_bug", tout << "relevant_eh:\n" << mk_ismt2_pp(n->get_expr(), m) << "\n"; TRACE("trigger_bug", tout << "relevant_eh:\n" << mk_ismt2_pp(n->get_expr(), m) << "\n";
tout << "mam: " << this << "\n";); tout << "mam: " << this << "\n";);
TRACE("mam", tout << "relevant_eh: #" << n->get_owner_id() << "\n";); TRACE("mam", tout << "relevant_eh: #" << enode_pp(n, m_context) << "\n";);
if (n->has_lbl_hash()) if (n->has_lbl_hash())
update_lbls(n, n->get_lbl_hash()); update_lbls(n, n->get_lbl_hash());