From cecdb7c5a0fc4821bc56c6aae5428925ec1baa15 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 26 Dec 2022 12:41:36 +0100
Subject: Fixed fst_inverse

---
 tests/fst_post_init_tests.c | 114 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 114 insertions(+)
 create mode 100644 tests/fst_post_init_tests.c

(limited to 'tests/fst_post_init_tests.c')

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");
+}
-- 
cgit v1.3