Fix table generation (breaking change)HEADmaster

There was a small (but kinda silly) error in the prunin table
generation for H48 solvers, resulting in some positions showing
a higher lower bound than they actually had. This means that the
solvers where in theory broken and could have skipped some solutions
- but we have not found any example, as this would be an extremely
rare situation. This affected all tables from H48h2 to H48h11.

This bug was found by LLM-based coding analysis in the context of
the development of egg-solver: https://github.com/ArhanChaudhary/egg-solver

Thanks to Arhan Chaudhary for reporting the bug.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/solvers/h48/gendata_h48.h b/src/solvers/h48/gendata_h48.h
index 0b85e49..be06588 100644
--- a/src/solvers/h48/gendata_h48.h
+++ b/src/solvers/h48/gendata_h48.h
@@ -308,7 +308,7 @@ gendata_h48_runthread(void *arg)
                 wrapthread_mutex_lock(dfsarg->shortcubes_mutex);
 
                 kv = h48map_nextkvpair(dfsarg->shortcubes, dfsarg->next);
-                if (*dfsarg->next == dfsarg->shortcubes->capacity) {
+                if (kv.val == MAP_UNSET_VAL) {
                         wrapthread_mutex_unlock(dfsarg->shortcubes_mutex);
                         break;
                 }