diff options
| -rw-r--r-- | src/solvers/h48/gendata_cocsep.h | 2 |
1 files changed, 0 insertions, 2 deletions
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) | |||
| 57 | .rep = rep | 57 | .rep = rep |
| 58 | }; | 58 | }; |
| 59 | for (i = 0, n = 0, cc = 0; i < 10; i++) { | 59 | for (i = 0, n = 0, cc = 0; i < 10; i++) { |
| 60 | LOG("cocsep: generating depth %" PRIu8 "\n", i); | ||
| 61 | memset(visited, 0, COCSEP_VISITEDSIZE); | 60 | memset(visited, 0, COCSEP_VISITEDSIZE); |
| 62 | arg.depth = 0; | 61 | arg.depth = 0; |
| 63 | arg.maxdepth = i; | 62 | arg.maxdepth = i; |
| 64 | cc = gendata_cocsep_dfs(&arg); | 63 | cc = gendata_cocsep_dfs(&arg); |
| 65 | info.distribution[i] = cc; | 64 | info.distribution[i] = cc; |
| 66 | LOG("found %" PRIu32 "\n", cc); | ||
| 67 | } | 65 | } |
| 68 | 66 | ||
| 69 | writetableinfo(&info, buf); | 67 | writetableinfo(&info, buf); |
