diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 14:31:37 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 14:31:37 +0200 |
| commit | 717595e6e88a72e22744e532f45c9dbbe332148f (patch) | |
| tree | 220e982faa53cb0ec31c18487850585561799395 /src/solvers/h48 | |
| parent | 283effb16646112ee9c6bba57e021e80f322b29f (diff) | |
| download | nissy-core-717595e6e88a72e22744e532f45c9dbbe332148f.tar.gz nissy-core-717595e6e88a72e22744e532f45c9dbbe332148f.zip | |
Removed excessive LOG from gendata cocsep
Diffstat (limited to 'src/solvers/h48')
| -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); |
