From 54ed6d4413b9ebdc5d38785224f8097c3570ab46 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Fri, 7 Oct 2022 17:49:03 +0200 Subject: [PATCH] Don't cut off output arbitrarily --- src/math/polysat/viable.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/viable.cpp b/src/math/polysat/viable.cpp index 074d1652e..8daabb31e 100644 --- a/src/math/polysat/viable.cpp +++ b/src/math/polysat/viable.cpp @@ -731,7 +731,7 @@ namespace polysat { } void viable::log() { - for (pvar v = 0; v < std::min(10u, m_units.size()); ++v) + for (pvar v = 0; v < m_units.size(); ++v) log(v); }