1 files changed, 68 insertions, 0 deletions

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