From 04d0e9492b0066675c75fc5fb1df6b23b79607e5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 26 Jan 2025 11:56:59 -0800 Subject: [PATCH] set log level of revert repair down to 3 Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_arith_base.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp index cc8e8a3be..3f32fe6e6 100644 --- a/src/ast/sls/sls_arith_base.cpp +++ b/src/ast/sls/sls_arith_base.cpp @@ -1888,7 +1888,7 @@ namespace sls { if (repair_div_idiv(od, val, v1, v2)) return true; - IF_VERBOSE(1, verbose_stream() << "revert repair-down " << val << " = " << v1 << " div " << v2 << "\n"); + IF_VERBOSE(3, verbose_stream() << "revert repair-down " << val << " = " << v1 << " div " << v2 << "\n"); // bail return update(od.m_var, v2 == 0 ? num_t(0) : div(v1, v2)); } @@ -1906,7 +1906,7 @@ namespace sls { if (repair_div_idiv(od, val, v1, v2)) return true; - IF_VERBOSE(1, verbose_stream() << "revert repair-down " << val << " = " << v1 << "/" << v2 << "\n"); + IF_VERBOSE(3, verbose_stream() << "revert repair-down " << val << " = " << v1 << "/" << v2 << "\n"); // bail return update(od.m_var, v2 == 0 ? num_t(0) : v1 / v2); }