mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

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

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-01-30 16:34:36 -08:00
parent c9ac4d6f75
commit eb825855fa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_smt_plugin.cpp
View file

@ -343,7 +343,7 @@ namespace sls {
m_ddfw->add(1, &sls_lit); m_ddfw->add(1, &sls_lit);
} }
else { 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"); << mk_bounded_pp(ctx.bool_var2expr(lit.var()), m) << "\n");
} }
} }