From 68ec5f85e346863bffb64b186d7ef9046ba5b9a4 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Oct 2024 09:15:21 +0200 Subject: Removed some useless output --- src/solvers/h48/gendata_cocsep.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/solvers/h48/gendata_cocsep.h') diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h index a8142b4..18bfc38 100644 --- a/src/solvers/h48/gendata_cocsep.h +++ b/src/solvers/h48/gendata_cocsep.h @@ -23,7 +23,7 @@ gendata_cocsep(void *buf, uint64_t *selfsim, cube_t *rep) { uint32_t *buf32, cc; uint16_t n; - uint8_t i, j, visited[COCSEP_VISITEDSIZE]; + uint8_t i, visited[COCSEP_VISITEDSIZE]; tableinfo_t info; cocsep_dfs_arg_t arg; @@ -71,10 +71,14 @@ gendata_cocsep(void *buf, uint64_t *selfsim, cube_t *rep) "expected %zu\n", n, COCSEP_CLASSES); LOG("cocsep data computed\n"); + + /* The following output is just noise + LOG("Symmetry classes: %" PRIu32 "\n", COCSEP_CLASSES); LOG("Pruning value distribution:\n"); for (j = 0; j < 10; j++) LOG("%" PRIu8 ":\t%" PRIu32 "\n", j, info.distribution[j]); + */ gendata_cocsep_return_size: return COCSEP_FULLSIZE; -- cgit v1.3