mirror of
https://github.com/Z3Prover/z3
synced 2025-10-07 16:31:55 +00:00
remove debug
This commit is contained in:
parent
ef27e38d5f
commit
ad2c97a4df
1 changed files with 0 additions and 3 deletions
|
@ -3477,9 +3477,6 @@ public:
|
|||
set_evidence(ev.ci(), m_core, m_eqs);
|
||||
if (m_eqs.empty() && all_of(m_core, [&](literal l) { return ctx().get_assignment(l) == l_false; }))
|
||||
is_conflict = true;
|
||||
for (auto l : m_core) {
|
||||
verbose_stream() << l << " " << ctx().get_assignment(l) << "\n";
|
||||
}
|
||||
TRACE(arith_conflict,
|
||||
tout << "@" << ctx().get_scope_level() << (is_conflict ? " conflict":" lemma");
|
||||
for (auto const& p : m_params) tout << " " << p;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue