From 45595af6655c3ba2d44e211025a22762aab72a48 Mon Sep 17 00:00:00 2001 From: Max Zinkus Date: Tue, 9 Apr 2019 12:35:04 -0400 Subject: [PATCH] Require verbosity=1 to log parallel tactic progress --- src/solver/parallel_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/parallel_tactic.cpp b/src/solver/parallel_tactic.cpp index d820dbd9b..0e20ab7a9 100644 --- a/src/solver/parallel_tactic.cpp +++ b/src/solver/parallel_tactic.cpp @@ -351,7 +351,7 @@ private: } void log_branches(lbool status) { - IF_VERBOSE(0, verbose_stream() << "(tactic.parallel :progress " << m_progress << "% "; + IF_VERBOSE(1, verbose_stream() << "(tactic.parallel :progress " << m_progress << "% "; if (status == l_true) verbose_stream() << ":status sat"; if (status == l_undef) verbose_stream() << ":status unknown"; if (m_num_unsat > 0) verbose_stream() << " :closed " << m_num_unsat << "@" << m_last_depth;