From ce987d566b8322d0e341a2c9baf0608d1609943b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 15 Dec 2024 11:06:09 +0100 Subject: Actually fix the bug --- src/solvers/h48/solve.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/solvers/h48') diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index d168985..c415370 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h @@ -117,12 +117,14 @@ solve_h48_appendallsym(dfsarg_solve_h48_t *arg) for (i = 0; i < n; i++) if (all[k][i] != all[j][i]) eq = false; + /* If a solution was already found, we skip it */ - if (eq) - continue; + if (eq) { + j--; + break; + } } - /* If all is good, the solution is accepted */ j++; } -- cgit v1.3