mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-02 12:13:25 +00:00
Code Activity

Fix verbose output in sat_cleaner

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-07-30 19:44:06 -07:00 • committed by GitHub
parent 0e4898be1c
commit 3c3fdb81b1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/sat_cleaner.cpp
View file

@ -166,7 +166,7 @@ namespace sat {
verbose_stream() << " (sat-cleaner";
verbose_stream() << " :elim-literals " << (m_cleaner.m_elim_literals - m_elim_literals);
verbose_stream() << " :elim-clauses " << (m_cleaner.m_elim_clauses - m_elim_clauses);
verbose_stream() << " :cost " << m_cleaner.m_cleanup_counter << ")\n";);
verbose_stream() << " :cost " << m_cleaner.m_cleanup_counter << m_watch << ")\n";);
}
};