increase the log level on callbacks with bit-indices that get set

Z3Prover · Jan 31, 2025 · eb82585 · eb82585
1 parent c9ac4d6
commit eb82585
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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");
             }
         }