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

Update verbose_stream output in sat_asymm_branch.cpp

Browse source 
Refactor verbose_stream output to include memory statistics.
This commit is contained in:
Nikolaj Bjorner 2026-07-30 19:38:09 -07:00 • committed by GitHub
parent dece18a60a
commit 0e4898be1c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/sat/sat_asymm_branch.cpp
View file

@ -68,7 +68,9 @@ namespace sat {
if (num_learned > 0) verbose_stream() << " :elim-learned-literals " << num_learned;
if (num_units > 0) verbose_stream() << " :units " << num_units;
if (tr > 0) verbose_stream() << " :hte " << tr;
verbose_stream() << " :cost " << m_asymm_branch.m_counter << ")\n";);
verbose_stream() << " :cost " << m_asymm_branch.m_counter;
verbose_stream() << mem_stat();
verbose_stream() << m_watch << ")\n";);
}
};