From 270e5b0444f67781856bf80db51650af9cb89b0c Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 17 Jul 2025 08:54:44 +0200 Subject: Renamed tests to make space for more coordinate tests --- test/140_appendsolution/00_empty.in | 5 ++ test/140_appendsolution/00_empty.out | 4 ++ .../01_simple_onlynormal_nounniss.in | 5 ++ .../01_simple_onlynormal_nounniss.out | 4 ++ .../02_simple_onlynormal_nounnis_multitrans.in | 8 +++ .../02_simple_onlynormal_nounnis_multitrans.out | 7 +++ test/140_appendsolution/03_simple_unniss.in | 5 ++ test/140_appendsolution/03_simple_unniss.out | 4 ++ test/140_appendsolution/04_niss_nounniss.in | 5 ++ test/140_appendsolution/04_niss_nounniss.out | 4 ++ test/140_appendsolution/05_sort_parallel.in | 5 ++ test/140_appendsolution/05_sort_parallel.out | 4 ++ test/140_appendsolution/06_unniss_trans_sort.in | 5 ++ test/140_appendsolution/06_unniss_trans_sort.out | 4 ++ test/140_appendsolution/07_unniss_cancel_nosol.in | 5 ++ test/140_appendsolution/07_unniss_cancel_nosol.out | 3 + .../08_unniss_cancel_nosol_v2.in | 5 ++ .../08_unniss_cancel_nosol_v2.out | 3 + test/140_appendsolution/09_fullinverse_niss.in | 5 ++ test/140_appendsolution/09_fullinverse_niss.out | 4 ++ test/140_appendsolution/10_rotated.in | 5 ++ test/140_appendsolution/10_rotated.out | 4 ++ test/140_appendsolution/appendsolution_tests.c | 68 ++++++++++++++++++++++ 23 files changed, 171 insertions(+) create mode 100644 test/140_appendsolution/00_empty.in create mode 100644 test/140_appendsolution/00_empty.out create mode 100644 test/140_appendsolution/01_simple_onlynormal_nounniss.in create mode 100644 test/140_appendsolution/01_simple_onlynormal_nounniss.out create mode 100644 test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.in create mode 100644 test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.out create mode 100644 test/140_appendsolution/03_simple_unniss.in create mode 100644 test/140_appendsolution/03_simple_unniss.out create mode 100644 test/140_appendsolution/04_niss_nounniss.in create mode 100644 test/140_appendsolution/04_niss_nounniss.out create mode 100644 test/140_appendsolution/05_sort_parallel.in create mode 100644 test/140_appendsolution/05_sort_parallel.out create mode 100644 test/140_appendsolution/06_unniss_trans_sort.in create mode 100644 test/140_appendsolution/06_unniss_trans_sort.out create mode 100644 test/140_appendsolution/07_unniss_cancel_nosol.in create mode 100644 test/140_appendsolution/07_unniss_cancel_nosol.out create mode 100644 test/140_appendsolution/08_unniss_cancel_nosol_v2.in create mode 100644 test/140_appendsolution/08_unniss_cancel_nosol_v2.out create mode 100644 test/140_appendsolution/09_fullinverse_niss.in create mode 100644 test/140_appendsolution/09_fullinverse_niss.out create mode 100644 test/140_appendsolution/10_rotated.in create mode 100644 test/140_appendsolution/10_rotated.out create mode 100644 test/140_appendsolution/appendsolution_tests.c (limited to 'test/140_appendsolution') diff --git a/test/140_appendsolution/00_empty.in b/test/140_appendsolution/00_empty.in new file mode 100644 index 0000000..1100b95 --- /dev/null +++ b/test/140_appendsolution/00_empty.in @@ -0,0 +1,5 @@ + +0 +1 +rotation UF +0 diff --git a/test/140_appendsolution/00_empty.out b/test/140_appendsolution/00_empty.out new file mode 100644 index 0000000..8581416 --- /dev/null +++ b/test/140_appendsolution/00_empty.out @@ -0,0 +1,4 @@ + +Number of solutions: 1 +Shortest solution length: 0 +Used bytes: 1 diff --git a/test/140_appendsolution/01_simple_onlynormal_nounniss.in b/test/140_appendsolution/01_simple_onlynormal_nounniss.in new file mode 100644 index 0000000..fb1eaed --- /dev/null +++ b/test/140_appendsolution/01_simple_onlynormal_nounniss.in @@ -0,0 +1,5 @@ +U F R D2 B' +0 +1 +rotation UF +0 diff --git a/test/140_appendsolution/01_simple_onlynormal_nounniss.out b/test/140_appendsolution/01_simple_onlynormal_nounniss.out new file mode 100644 index 0000000..b577962 --- /dev/null +++ b/test/140_appendsolution/01_simple_onlynormal_nounniss.out @@ -0,0 +1,4 @@ +U F R D2 B' +Number of solutions: 1 +Shortest solution length: 5 +Used bytes: 12 diff --git a/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.in b/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.in new file mode 100644 index 0000000..db5f074 --- /dev/null +++ b/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.in @@ -0,0 +1,8 @@ +U F R +0 +4 +rotation UF +mirrored UR +rotation BD +mirrored LB +0 diff --git a/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.out b/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.out new file mode 100644 index 0000000..e1b5631 --- /dev/null +++ b/test/140_appendsolution/02_simple_onlynormal_nounnis_multitrans.out @@ -0,0 +1,7 @@ +U F R +B D L +U' L' B' +R' B' D' +Number of solutions: 4 +Shortest solution length: 3 +Used bytes: 30 diff --git a/test/140_appendsolution/03_simple_unniss.in b/test/140_appendsolution/03_simple_unniss.in new file mode 100644 index 0000000..2c5a331 --- /dev/null +++ b/test/140_appendsolution/03_simple_unniss.in @@ -0,0 +1,5 @@ +U F B2 (R' F D) +1 +1 +rotation UF +0 diff --git a/test/140_appendsolution/03_simple_unniss.out b/test/140_appendsolution/03_simple_unniss.out new file mode 100644 index 0000000..3ca210e --- /dev/null +++ b/test/140_appendsolution/03_simple_unniss.out @@ -0,0 +1,4 @@ +U F B2 D' F' R +Number of solutions: 1 +Shortest solution length: 6 +Used bytes: 15 diff --git a/test/140_appendsolution/04_niss_nounniss.in b/test/140_appendsolution/04_niss_nounniss.in new file mode 100644 index 0000000..b07f970 --- /dev/null +++ b/test/140_appendsolution/04_niss_nounniss.in @@ -0,0 +1,5 @@ +U F B2 (R' F D) +0 +1 +rotation UF +0 diff --git a/test/140_appendsolution/04_niss_nounniss.out b/test/140_appendsolution/04_niss_nounniss.out new file mode 100644 index 0000000..a616b4c --- /dev/null +++ b/test/140_appendsolution/04_niss_nounniss.out @@ -0,0 +1,4 @@ +U F B2 (R' F D) +Number of solutions: 1 +Shortest solution length: 6 +Used bytes: 16 diff --git a/test/140_appendsolution/05_sort_parallel.in b/test/140_appendsolution/05_sort_parallel.in new file mode 100644 index 0000000..bc1cf0f --- /dev/null +++ b/test/140_appendsolution/05_sort_parallel.in @@ -0,0 +1,5 @@ +L R' B2 F +0 +1 +rotation UF +0 diff --git a/test/140_appendsolution/05_sort_parallel.out b/test/140_appendsolution/05_sort_parallel.out new file mode 100644 index 0000000..fc09830 --- /dev/null +++ b/test/140_appendsolution/05_sort_parallel.out @@ -0,0 +1,4 @@ +R' L F B2 +Number of solutions: 1 +Shortest solution length: 4 +Used bytes: 10 diff --git a/test/140_appendsolution/06_unniss_trans_sort.in b/test/140_appendsolution/06_unniss_trans_sort.in new file mode 100644 index 0000000..2ffab93 --- /dev/null +++ b/test/140_appendsolution/06_unniss_trans_sort.in @@ -0,0 +1,5 @@ +B (R2 F2) +1 +1 +rotation UR +0 diff --git a/test/140_appendsolution/06_unniss_trans_sort.out b/test/140_appendsolution/06_unniss_trans_sort.out new file mode 100644 index 0000000..28d7827 --- /dev/null +++ b/test/140_appendsolution/06_unniss_trans_sort.out @@ -0,0 +1,4 @@ +R2 L B2 +Number of solutions: 1 +Shortest solution length: 3 +Used bytes: 8 diff --git a/test/140_appendsolution/07_unniss_cancel_nosol.in b/test/140_appendsolution/07_unniss_cancel_nosol.in new file mode 100644 index 0000000..6883d05 --- /dev/null +++ b/test/140_appendsolution/07_unniss_cancel_nosol.in @@ -0,0 +1,5 @@ +B' F (R2 B2) +1 +1 +rotation UF +0 diff --git a/test/140_appendsolution/07_unniss_cancel_nosol.out b/test/140_appendsolution/07_unniss_cancel_nosol.out new file mode 100644 index 0000000..ed5ea65 --- /dev/null +++ b/test/140_appendsolution/07_unniss_cancel_nosol.out @@ -0,0 +1,3 @@ +Number of solutions: 0 +Shortest solution length: 21 +Used bytes: 0 diff --git a/test/140_appendsolution/08_unniss_cancel_nosol_v2.in b/test/140_appendsolution/08_unniss_cancel_nosol_v2.in new file mode 100644 index 0000000..3d461f0 --- /dev/null +++ b/test/140_appendsolution/08_unniss_cancel_nosol_v2.in @@ -0,0 +1,5 @@ +F' B (R2 F2) +1 +1 +rotation UF +0 diff --git a/test/140_appendsolution/08_unniss_cancel_nosol_v2.out b/test/140_appendsolution/08_unniss_cancel_nosol_v2.out new file mode 100644 index 0000000..ed5ea65 --- /dev/null +++ b/test/140_appendsolution/08_unniss_cancel_nosol_v2.out @@ -0,0 +1,3 @@ +Number of solutions: 0 +Shortest solution length: 21 +Used bytes: 0 diff --git a/test/140_appendsolution/09_fullinverse_niss.in b/test/140_appendsolution/09_fullinverse_niss.in new file mode 100644 index 0000000..bb2b640 --- /dev/null +++ b/test/140_appendsolution/09_fullinverse_niss.in @@ -0,0 +1,5 @@ +(F) +0 +1 +rotation UF +0 diff --git a/test/140_appendsolution/09_fullinverse_niss.out b/test/140_appendsolution/09_fullinverse_niss.out new file mode 100644 index 0000000..9721085 --- /dev/null +++ b/test/140_appendsolution/09_fullinverse_niss.out @@ -0,0 +1,4 @@ +(F) +Number of solutions: 1 +Shortest solution length: 1 +Used bytes: 4 diff --git a/test/140_appendsolution/10_rotated.in b/test/140_appendsolution/10_rotated.in new file mode 100644 index 0000000..5210cd5 --- /dev/null +++ b/test/140_appendsolution/10_rotated.in @@ -0,0 +1,5 @@ +U2 F B L' +1 +1 +rotation UF +7 diff --git a/test/140_appendsolution/10_rotated.out b/test/140_appendsolution/10_rotated.out new file mode 100644 index 0000000..e70b2fe --- /dev/null +++ b/test/140_appendsolution/10_rotated.out @@ -0,0 +1,4 @@ +D2 R L F' +Number of solutions: 1 +Shortest solution length: 4 +Used bytes: 10 diff --git a/test/140_appendsolution/appendsolution_tests.c b/test/140_appendsolution/appendsolution_tests.c new file mode 100644 index 0000000..e1b7e98 --- /dev/null +++ b/test/140_appendsolution/appendsolution_tests.c @@ -0,0 +1,68 @@ +/* +Input format for appendsolution tests: + +moves on normal (with NISS notation) +unniss flag (0=false, 1=true) +number of transformations +transformations, one per line +the orientation of the cube, as a number from 0 to 23 + +See below for the output format. +*/ + +#include "../test.h" + +uint8_t readtrans(const char [NISSY_SIZE_TRANSFORMATION]); +int64_t readmoves(const char *, size_t n, size_t m, + uint64_t *, uint64_t *, uint8_t [n], uint8_t [m]); +void solution_moves_reset(solution_moves_t [static 1]); +bool solution_list_init(solution_list_t [static 1], size_t n, char [n]); +int64_t appendsolution(const solution_moves_t [static 1], + const solution_settings_t [static 1], solution_list_t [static 1], bool, + const char *); + +void run(void) { + int i, ntrans; + int64_t tot; + uint64_t nm, np; + char str[STRLENMAX], buf[STRLENMAX]; + solution_moves_t moves; + solution_settings_t settings; + solution_list_t list; + + solution_moves_reset(&moves); + solution_list_init(&list, STRLENMAX, buf); + settings = (solution_settings_t) { + .tmask = UINT64_C(0), + .unniss = false, + .maxmoves = 20, + .maxsolutions = 100, + .optimal = -1, + }; + + fgets(str, STRLENMAX, stdin); + tot = readmoves(str, 20, 20, &nm, &np, moves.moves, moves.premoves); + if (tot < 0) { + printf("Test error reading moves\n"); + return; + } + moves.nmoves = nm; + moves.npremoves = np; + fgets(str, STRLENMAX, stdin); + settings.unniss = (bool)atoi(str); + fgets(str, STRLENMAX, stdin); + ntrans = atoi(str); + for (i = 0; i < ntrans; i++) { + fgets(str, STRLENMAX, stdin); + settings.tmask |= UINT64_C(1) << (uint64_t)readtrans(str); + } + fgets(str, STRLENMAX, stdin); + settings.orientation = atoi(str); + + appendsolution(&moves, &settings, &list, false, "Test"); + + printf("%s", list.buf); + printf("Number of solutions: %" PRIu64 "\n", list.nsols); + printf("Shortest solution length: %" PRIu8 "\n", list.shortest_sol); + printf("Used bytes: %zu\n", list.used); +} -- cgit v1.3