From bf44088d4373a9520e860152c56a958332819c4b Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 1 May 2023 16:33:51 +0200
Subject: Split nissy in other repos, see README.md

---
 tests/fst_tests.c | 184 ------------------------------------------------------
 1 file changed, 184 deletions(-)
 delete mode 100644 tests/fst_tests.c

(limited to 'tests/fst_tests.c')

diff --git a/tests/fst_tests.c b/tests/fst_tests.c
deleted file mode 100644
index 1a9bedd..0000000
--- a/tests/fst_tests.c
+++ /dev/null
@@ -1,184 +0,0 @@
-#include "fst_tests.h"
-
-static bool testmethod_fst_is_consistent(void *);
-static bool testmethod_cube_to_fst_to_cube(void *);
-static bool testmethod_fst_move(void *);
-static bool testmethod_fst_inverse(void *);
-static bool check_equal_and_log(Cube *, Cube *);
-static void void_to_cube(void *, Cube *);
-
-char *algs[] = {
-	"",
-	"U", "U2", "U'", "D", "D2", "D'", "R", "R2", "R'",
-	"L", "L2", "L'", "F", "F2", "F'", "B", "B2", "B'",
-	"U2 R2 U2 R2 U2",
-	"U2 F2 R2 B2 U2 D2 F2 L2 B2",
-	"RUR'URU2R'",
-	"L2 D R U2 B2 L",
-	"R'U'F",
-	"F2 U' R2 D' B2 D2 R2 D2 R2 U' F L' U' R B F2 R B' D2",
-	"D L2 F2 R2 D R2 U L2 U' B2 D L' F2 U2 B' L D' U' R' B2 F2",
-	"F' L2 F' D' R F2 L U L' D2 R2 F2 D2 R2 B' L2 B2 U2 F D2 B",
-	NULL,
-};
-
-Test test_fst_is_consistent = {
-	.name  = "Consitency of FST (converted from cube)",
-	.t     = testmethod_fst_is_consistent,
-	.cases = (void **)algs,
-};
-Test test_cube_to_fst_to_cube = {
-	.name  = "Cube to FST to cube",
-	.t     = testmethod_cube_to_fst_to_cube,
-	.cases = (void **)algs,
-};
-Test test_fst_move = {
-	.name  = "FST move",
-	.t     = testmethod_fst_move,
-	.cases = (void **)algs,
-};
-Test test_fst_inverse = {
-	.name  = "FST inverse",
-	.t     = testmethod_fst_inverse,
-	.cases = (void **)algs,
-};
-
-Test *fst_pre_init[] = {
-	&test_fst_is_consistent,
-	&test_cube_to_fst_to_cube,
-	NULL
-};
-TestSuite fst_pre_init_suite = {
-	.setup    = NULL,
-	.tests    = fst_pre_init,
-	.teardown = NULL,
-};
-
-Test *fst_post_init[] = {
-	&test_fst_move,
-	&test_fst_inverse,
-	NULL
-};
-TestSuite fst_post_init_suite = {
-	.setup    = init_fst,
-	.tests    = fst_post_init,
-	.teardown = NULL,
-};
-
-TestSuite *fst_suites[] = {
-	&fst_pre_init_suite,
-	&fst_post_init_suite,
-	NULL
-};
-
-static bool
-check_equal_and_log(Cube *c, Cube *d)
-{
-	bool ret = equal(c, d);
-
-	if (!ret) {
-		printf("\n");
-		printf("These cubes should be equal, but are not:\n\n");
-		print_cube(c);
-		printf("\n");
-		print_cube(d);
-		printf("\n");
-	}
-
-	return ret;
-}
-
-static void
-void_to_cube(void *a, Cube *c)
-{
-	char *algstr;
-	Alg *alg;
-
-	algstr = (char *)a;
-	alg = new_alg(algstr);
-	make_solved(c);
-	apply_alg(alg, c);
-	free_alg(alg);
-}
-
-bool
-testmethod_fst_is_consistent(void *a)
-{
-	FstCube fst_uf, fst_fr, fst_rd;
-	Cube c, c_fr, c_rd;
-	bool consistent_fr, consistent_rd, result;
-
-	void_to_cube(a, &c);
-	copy_cube(&c, &c_fr);
-	apply_trans(fr, &c_fr);
-
-	copy_cube(&c, &c_rd);
-	apply_trans(rd, &c_rd);
-
-	fst_uf = cube_to_fst(&c);
-	fst_fr = cube_to_fst(&c_fr);
-	fst_rd = cube_to_fst(&c_rd);
-
-	consistent_fr = fst_uf.fr_eofb == fst_fr.uf_eofb &&
-			fst_uf.fr_eposepe == fst_fr.uf_eposepe &&
-			fst_uf.fr_coud == fst_fr.uf_coud;
-
-	consistent_rd = fst_uf.rd_eofb == fst_rd.uf_eofb &&
-			fst_uf.rd_eposepe == fst_rd.uf_eposepe &&
-			fst_uf.rd_coud == fst_rd.uf_coud;
-
-	result = consistent_fr && consistent_rd;
-
-	if (!result)
-		printf("\nFailed with alg %s\n", (char *)a);
-
-	return result;
-}
-
-bool
-testmethod_cube_to_fst_to_cube(void *a)
-{
-	Cube c, d;
-	FstCube fst;
-
-	void_to_cube(a, &c);
-	fst = cube_to_fst(&c);
-	fst_to_cube(fst, &d);
-
-	return check_equal_and_log(&c, &d);;
-}
-
-bool
-testmethod_fst_move(void *a)
-{
-	int i;
-	Alg *alg;
-	Cube c, d;
-	FstCube fst;
-
-	void_to_cube(a, &c);
-	alg = new_alg((char *)a);
-	make_solved(&d);
-	fst = cube_to_fst(&d);
-
-	for (i = 0; i < alg->len; i++)
-		fst = fst_move(alg->move[i], fst);
-
-	fst_to_cube(fst, &d);
-
-	free_alg(alg);
-
-	return check_equal_and_log(&c, &d);
-}
-
-bool
-testmethod_fst_inverse(void *a)
-{
-	Cube c, d;
-
-	void_to_cube(a, &c);
-	fst_to_cube(fst_inverse(cube_to_fst(&c)), &d);
-	invert_cube(&c);
-
-	return check_equal_and_log(&c, &d);
-}
-- 
cgit v1.3