aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/solvers/h48/gendata_cocsep.h2
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);

Generated with cgit - Back to sebastiano.tronto.net