fix MAXSOLS bug

tromp · Oct 26, 2016 · 882bc1f · 882bc1f
1 parent e153e58
commit 882bc1f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/dev_miner.cpp b/dev_miner.cpp
@@ -66,13 +66,12 @@ int main(int argc, char **argv) {
       int err = pthread_join(threads[t].thread, NULL);
       assert(err == 0);
     }
-    u32 nsols = 0;
-    for (unsigned s = 0; s < eq.nsols; s++) {
-      nsols++;
+    u32 nsols, maxsols = min(MAXSOLS, eq.nsols);
+    for (nsols = 0; nsols < maxsols; nsols++) {
       if (showsol) {
         printf("\nSolution");
         for (u32 i = 0; i < PROOFSIZE; i++)
-          printf(" %jx", (uintmax_t)eq.sols[s][i]);
+          printf(" %jx", (uintmax_t)eq.sols[nsols][i]);
       }
     }
     printf("\n%d solutions\n", nsols);

diff --git a/equi_miner.cpp b/equi_miner.cpp
@@ -66,13 +66,12 @@ int main(int argc, char **argv) {
       int err = pthread_join(threads[t].thread, NULL);
       assert(err == 0);
     }
-    u32 nsols = 0;
-    for (unsigned s = 0; s < eq.nsols; s++) {
-      nsols++;
+    u32 nsols, maxsols = min(MAXSOLS, eq.nsols);
+    for (nsols = 0; nsols < maxsols; nsols++) {
       if (showsol) {
         printf("\nSolution");
         for (u32 i = 0; i < PROOFSIZE; i++)
-          printf(" %jx", (uintmax_t)eq.sols[s][i]);
+          printf(" %jx", (uintmax_t)eq.sols[nsols][i]);
       }
     }
     printf("\n%d solutions\n", nsols);