From 717595e6e88a72e22744e532f45c9dbbe332148f Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 4 Oct 2024 14:31:37 +0200 Subject: Removed excessive LOG from gendata cocsep --- src/solvers/h48/gendata_cocsep.h | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/solvers/h48') diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h index 3daaf2a..a8142b4 100644 --- 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); -- cgit v1.3