commit 717595e6e88a72e22744e532f45c9dbbe332148f
parent 283effb16646112ee9c6bba57e021e80f322b29f
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Fri, 4 Oct 2024 14:31:37 +0200
Removed excessive LOG from gendata cocsep
Diffstat:
1 file changed, 0 insertions(+), 2 deletions(-)
diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h
@@ -57,13 +57,11 @@ gendata_cocsep(void *buf, uint64_t *selfsim, cube_t *rep)
.rep = rep
};
for (i = 0, n = 0, cc = 0; i < 10; i++) {
- LOG("cocsep: generating depth %" PRIu8 "\n", i);
memset(visited, 0, COCSEP_VISITEDSIZE);
arg.depth = 0;
arg.maxdepth = i;
cc = gendata_cocsep_dfs(&arg);
info.distribution[i] = cc;
- LOG("found %" PRIu32 "\n", cc);
}
writetableinfo(&info, buf);