23 files changed, 171 insertions, 0 deletions

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);
+}