increase log level for 'set value failed'

NikolajBjorner · NikolajBjorner · commit 4f2272dbb25c · 2025-01-25T23:43:53.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
@@ -2245,7 +2245,7 @@ namespace sls {
          bool r = update(w, n);   
 
          if (!r) {
-             IF_VERBOSE(2,
+             IF_VERBOSE(3,
                  verbose_stream() << "set value failed " << mk_pp(e, m) << " := " << mk_pp(v, m) << "\n";
                 display(verbose_stream(), w) << " := " << value(w) << "\n");
          }

Original file line number	Diff line number	Diff line change
`@@ -2245,7 +2245,7 @@ namespace sls {`
`2245`	`2245`	`bool r = update(w, n);`
`2246`	`2246`
`2247`	`2247`	`if (!r) {`
`2248`		`- IF_VERBOSE(2,`
	`2248`	`+ IF_VERBOSE(3,`
`2249`	`2249`	`verbose_stream() << "set value failed " << mk_pp(e, m) << " := " << mk_pp(v, m) << "\n";`
`2250`	`2250`	`display(verbose_stream(), w) << " := " << value(w) << "\n");`
`2251`	`2251`	`}`