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

remove debug output

Browse source
This commit is contained in:
Lev Nachmanson 2025-06-16 20:02:12 -07:00 • committed by Lev Nachmanson
parent 126e06b8b6
commit f2912b25a2
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/nlsat/nlsat_solver.cpp
View file

@ -4218,7 +4218,6 @@ namespace nlsat {
for (bool_var b = 0; b < vs.size(); ++b) { for (bool_var b = 0; b < vs.size(); ++b) {
if (vs[b] != l_undef) { if (vs[b] != l_undef) {
TRACE(nlsat_assign, tout << "setting bool values " << b << "\n";); TRACE(nlsat_assign, tout << "setting bool values " << b << "\n";);
std::cout << "set bvalues " << b << " to " << vs[b] << "\n";
m_imp->m_bvalues[b] = vs[b]; m_imp->m_bvalues[b] = vs[b];
SASSERT(!m_imp->m_atoms[b]); SASSERT(!m_imp->m_atoms[b]);
} }