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

remove some debug leftover

Browse source
This commit is contained in:
Nuno Lopes 2019-02-05 10:02:58 +00:00
parent b17bb60915
commit 904bc34139
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/smt/smt_quantifier.cpp
View file

@ -260,13 +260,6 @@ namespace smt {
m_qi_queue.insert(f, pat, max_generation, min_top_generation, max_top_generation); // TODO m_qi_queue.insert(f, pat, max_generation, min_top_generation, max_top_generation); // TODO
m_num_instances++; m_num_instances++;
} }
static unsigned count = 0;
CTRACE("quantifier", f != nullptr,
tout << (count++) << " " << q->get_id() << "\n";
if (q->get_id() == 28 || true) {
tout << mk_ll_pp(q, m()) << "\n";
}
);
CTRACE("quantifier_", f != nullptr, CTRACE("quantifier_", f != nullptr,
tout << expr_ref(q, m()) << " "; tout << expr_ref(q, m()) << " ";