nissy-core

commit 39e736f68c0d92b47bd124357a33c02d2bd2fdc5
parent 0e334e8659deaf61c3eef57e8ccd171a5becedb3
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Thu, 19 Jun 2025 09:33:42 +0200

Small fixes

Diffstat:
M
src/solvers/h48/checkdata.h
 | 
4
++--
M
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
@@ -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
@@ -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);
 	}
 }