1 files changed, 114 insertions, 0 deletions

diff --git a/tests/fst_post_init_tests.c b/tests/fst_post_init_tests.c
new file mode 100644
index 0000000..653e379
--- /dev/null
+++ b/tests/fst_post_init_tests.c
@@ -0,0 +1,114 @@
+#include "fst_test_util.h"
+
+static bool fst_move_testcase(Cube *c, Alg *a);
+static bool fst_inverse_testcase(Cube *c, Alg *a);
+
+static bool fst_move_test();
+static bool fst_where_is_edge_test();
+static bool fst_inverse_test();
+
+static Tester test[] = {
+        fst_move_test,
+        fst_where_is_edge_test,
+        fst_inverse_test,
+        NULL
+};
+
+static char *name[] = {
+        "FST move",
+        "FST where is edge",
+        "FST inverse",
+};
+
+static bool
+fst_move_testcase(Cube *c, Alg *a)
+{
+        int i;
+        Cube d;
+        FstCube fst;
+
+        make_solved(&d);
+        fst = cube_to_fst(&d);
+
+        for (i = 0; i < a->len; i++) {
+                if (a->inv[i] || a->move[i] > B3) {
+                        printf("Cannot apply the following alg to FST: ");
+                        print_alg(a, false);
+                        return false;
+                }
+                fst = fst_move(a->move[i], fst);
+        }
+
+        fst_to_cube(fst, &d);
+
+        return equal_and_log(c, &d);
+}
+
+static bool
+fst_inverse_testcase(Cube *c, Alg *a)
+{
+        Cube d;
+
+        fst_to_cube(fst_inverse(cube_to_fst(c)), &d);
+        invert_cube(c);
+
+        return equal_and_log(c, &d);
+}
+
+static bool
+fst_move_test()
+{
+        return try_all_str(fst_move_testcase, "FST move incorrect");
+}
+
+static bool
+fst_where_is_edge_test()
+{
+        int i;
+        Alg *scr;
+        Cube c, d;
+        FstCube fst;
+
+        /* Testing on a single scramble is fine for now */
+        scr = new_alg("RUFDL2B2FRD");
+        make_solved(&c);
+        apply_alg(scr, &c);
+        fst = cube_to_fst(&c);
+
+        for (i = 0; i < 12; i++) {
+                if (fst_where_is_edge(c.ep[i], fst) != i) {
+                        fst_to_cube(fst, &d);
+                        printf("Alg: ");
+                        print_alg(scr, false);
+                        printf("Expected:\n");
+                        print_cube(&c);
+                        printf("But got:\n");
+                        print_cube(&d);
+                        return false;
+                }
+        }
+
+        return true;
+}
+
+static bool
+fst_inverse_test()
+{
+        return try_all_str(fst_inverse_testcase, "FST test incorrect");
+}
+
+void fst_post_init_testall() {
+        int i;
+
+        init_fst();
+
+        for (i = 0; test[i] != NULL; i++) {
+                printf("Test: %s\n", name[i]);
+                if (!test[i]()) {
+                        printf("Failed!\n");
+                        exit(1);
+                }
+                printf("Passed.\n\n");
+        }
+        printf("All FST post-init tests passed.\n\n");
+}