From dc5e8188a7e29909cbdf661e9b2a80700fe0491d Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 15 Apr 2025 16:00:44 +0200 Subject: Log solutions as they are found --- src/solvers/h48/solve.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/solvers/h48') diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index fc7631f..f076f11 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h @@ -160,7 +160,7 @@ solve_h48_dfs(dfsarg_solve_h48_t arg[static 1]) return 0; pthread_mutex_lock(arg->solutions_mutex); ret = appendsolution(arg->solution_moves, - arg->solution_settings, arg->solution_list); + arg->solution_settings, arg->solution_list, true); pthread_mutex_unlock(arg->solutions_mutex); return ret; } @@ -292,8 +292,8 @@ solve_h48_maketasks( memcpy(moves.moves, maketasks_arg->moves, maketasks_arg->nmoves); - appret = appendsolution(&moves, - solve_arg->solution_settings, solve_arg->solution_list); + appret = appendsolution(&moves, solve_arg->solution_settings, + solve_arg->solution_list, true); return appret < 0 ? appret : NISSY_OK; } -- cgit v1.3