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

Remove commented verbose output in sls_bv_plugin.cpp during repair process

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-09-05 14:58:29 -07:00
parent 0308a92ea6
commit acd6f1d0ef
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_bv_plugin.cpp
View file

@ -166,10 +166,8 @@ namespace sls {
else if (bv.is_bv(e)) { else if (bv.is_bv(e)) {
log(e, true, false); log(e, true, false);
IF_VERBOSE(5, verbose_stream() << "repair-up "; trace_repair(true, e)); IF_VERBOSE(5, verbose_stream() << "repair-up "; trace_repair(true, e));
//verbose_stream() << "set random " << m_eval.wval(e) << " --> ";
auto& v = m_eval.wval(e); auto& v = m_eval.wval(e);
m_eval.set_random(e); m_eval.set_random(e);
//verbose_stream() << m_eval.wval(e) << "\n";
ctx.new_value_eh(e); ctx.new_value_eh(e);
} }
else else