Use inttypes.h macros to print uint64_t variables (this requires -std=c99). Added a couple of TODOs

3 files changed, 9 insertions, 11 deletions

diff --git a/src/cubetypes.h b/src/cubetypes.h
index 4997f3a..334662c 100644
--- a/src/cubetypes.h
+++ b/src/cubetypes.h
@@ -2,7 +2,7 @@
 #define CUBETYPES_H
 
 #include <stdbool.h>
-#include <stdint.h>
+#include <inttypes.h>
 
 #define NMOVES               55 /* Actually 55, but one is NULLMOVE */
 #define NTRANS               48
diff --git a/src/pruning.c b/src/pruning.c
index 11705c5..1369892 100644
--- a/src/pruning.c
+++ b/src/pruning.c
@@ -127,7 +127,8 @@ genptable(PruneData *pd)
                 for (j = 0; j < pd->coord->max; j++)
                         dfs_set_visited_index(&dd, j, false);
                 genptable_dfs((Cube){0}, pd, &dd);
-                fprintf(stderr, "Depth %d done, generated %lu\t(%lu/%lu)\n",
+                fprintf(stderr, "Depth %d done, generated %"
+                        PRIu64 "\t(%" PRIu64 "/%" PRIu64 ")\n",
                         dd.d+1, pd->n - oldn, pd->n, pd->coord->max);
                 oldn = pd->n;
         }
@@ -169,12 +170,14 @@ genptable(PruneData *pd)
         ptable_update(pd, (Cube){0}, 0);
         pd->n = 1;
         oldn = 0;
-        fprintf(stderr, "Depth %d done, generated %lu\t(%lu/%lu)\n",
+        fprintf(stderr, "Depth %d done, generated %"
+                PRIu64 "\t(%" PRIu64 "/%" PRIu64 ")\n",
                 0, pd->n - oldn, pd->n, pd->coord->max);
         oldn = 1;
         for (d = 0; d < 15 && pd->n < pd->coord->max; d++) {
                 genptable_bfs(pd, d, ms);
-                fprintf(stderr, "Depth %d done, generated %lu\t(%lu/%lu)\n",
+                fprintf(stderr, "Depth %d done, generated %"
+                        PRIu64 "\t(%" PRIu64 "/%" PRIu64 ")\n",
                         d+1, pd->n - oldn, pd->n, pd->coord->max);
                 oldn = pd->n;
         }
@@ -193,11 +196,6 @@ genptable_dfs(Cube c, PruneData *pd, DfsData *dd)
         Move mm;
         Cube cc;
 
-        if (pd->coord->index(c) > 2*ptablesize(pd)) {
-                printf("error! %lu > %lu\n", pd->coord->index(c), 2*ptablesize(pd));
-                print_cube(c);
-                exit(1);
-        }
         pv = ptableval(pd, c);
 
         if (pv < dd->m || dd->m > dd->d)
@@ -303,7 +301,7 @@ print_ptable(PruneData *pd)
                 
         fprintf(stderr, "Values for table %s\n", pd->filename);
         for (i = 0; i < 16; i++)
-                printf("%2lu\t%10lu\n", i, a[i]);
+                printf("%2" PRIu64 "\t%10" PRIu64 "\n", i, a[i]);
 }
 
 uint64_t
diff --git a/src/symcoord.c b/src/symcoord.c
index e9374d7..798a946 100644
--- a/src/symcoord.c
+++ b/src/symcoord.c
@@ -286,7 +286,7 @@ gensym(SymData *sd)
         sd->rep            = realloc(sd->rep, nreps * sizeof(Cube));
         sd->generated      = true;
 
-        fprintf(stderr, "Found %lu classes\n", nreps);
+        fprintf(stderr, "Found %" PRIu64 " classes\n", nreps);
 
         if (!write_symdata_file(sd))
                 fprintf(stderr, "Error writing SymData file\n");