From 39e736f68c0d92b47bd124357a33c02d2bd2fdc5 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 19 Jun 2025 09:33:42 +0200 Subject: Small fixes --- src/solvers/h48/checkdata.h | 4 ++-- tools/301_solve_file/solve_file.c | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h index d36d8cc..1ee053d 100644 --- a/src/solvers/h48/checkdata.h +++ b/src/solvers/h48/checkdata.h @@ -135,7 +135,7 @@ struct { [0] = 1051579940, [1] = 8136021316, [2] = 19024479822, - [3] = 18851861220, + [3] = 1885186122, }, }, }, @@ -216,7 +216,7 @@ checkdata_h48( "table preamble\n", info.solver); if (!distribution_equal(ed, info.distribution, em)) { LOG("[checkdata] Distribution from the table preamble " - "does not matche the expected one\n"); + "does not match the expected one\n"); return NISSY_ERROR_DATA; } diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c index 5976dc0..2fc3a98 100644 --- a/tools/301_solve_file/solve_file.c +++ b/tools/301_solve_file/solve_file.c @@ -20,6 +20,7 @@ void run(void) { for (i = 0; i < N; i++) { printf("%" PRId64 ". %s\n", i+1, scrambles[i]); printf("Solving scramble %s\n", scrambles[i]); + fflush(stdout); if (nissy_applymoves(NISSY_SOLVED_CUBE, scrambles[i], cube) != NISSY_OK) { printf("Invalid scramble\n"); @@ -32,6 +33,7 @@ void run(void) { printf("No solution found\n"); else printf("Solutions:\n%s\n", sol); + fflush(stdout); } } -- cgit v1.3