From eb825855face337a760ead61754ae77b893e28d1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Jan 2025 16:34:36 -0800 Subject: [PATCH] increase the log level on callbacks with bit-indices that get set --- src/ast/sls/sls_smt_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_smt_plugin.cpp b/src/ast/sls/sls_smt_plugin.cpp index 9d614f773..8ec7bb11d 100644 --- a/src/ast/sls/sls_smt_plugin.cpp +++ b/src/ast/sls/sls_smt_plugin.cpp @@ -343,7 +343,7 @@ namespace sls { m_ddfw->add(1, &sls_lit); } else { - IF_VERBOSE(0, verbose_stream() << "value restriction " << lit << " " + IF_VERBOSE(4, verbose_stream() << "value restriction " << lit << " " << mk_bounded_pp(ctx.bool_var2expr(lit.var()), m) << "\n"); } }