mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

remove verbose output

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-02-19 15:35:51 -08:00
parent 01fbc0e8e7
commit 1fec0fa35b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/ast/datatype_decl_plugin.cpp
View file

@ -1264,7 +1264,6 @@ namespace datatype {
unsigned start2 = rand(); unsigned start2 = rand();
for (; j < num_args; j++) { for (; j < num_args; j++) {
unsigned i = (start2 + j) % num_args; unsigned i = (start2 + j) % num_args;
verbose_stream() << i << " " << start << " " << j << " tid: " << ty->get_id() << " " << num_args << "\n";
sort * T_i = autil.get_array_range_rec(c->get_domain(i)); sort * T_i = autil.get_array_range_rec(c->get_domain(i));
TRACE("util_bug", tout << "c: " << i << " " << sort_ref(T_i, m) << "\n";); TRACE("util_bug", tout << "c: " << i << " " << sort_ref(T_i, m) << "\n";);
if (!is_datatype(T_i)) { if (!is_datatype(T_i)) {