Added cocsep data generation, but it is very slow

7 files changed, 54 insertions, 0 deletions

diff --git a/test/061_inverse_trans/00_all.in b/test/061_inverse_trans/00_all.in
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/061_inverse_trans/00_all.in
diff --git a/test/061_inverse_trans/00_all.out b/test/061_inverse_trans/00_all.out
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/061_inverse_trans/00_all.out
diff --git a/test/061_inverse_trans/inverse_trans_tests.c b/test/061_inverse_trans/inverse_trans_tests.c
new file mode 100644
index 0000000..77bd40b
--- /dev/null
+++ b/test/061_inverse_trans/inverse_trans_tests.c
@@ -0,0 +1,38 @@
+#include "../test.h"
+
+uint8_t readtrans(char *);
+uint8_t inverse_trans(uint8_t);
+cube_t applymoves(cube_t, char *);
+cube_t applytrans(cube_t, char *);
+extern char *transstr[];
+
+int main(void) {
+        uint8_t t, tinv;
+        cube_t cube;
+
+        for (t = 0; t < 48; t++) {
+                cube = solvedcube();
+                cube = applymoves(cube, "R");
+                cube = applymoves(cube, "U");
+                cube = applymoves(cube, "F");
+
+                cube = applytrans(cube, transstr[t]);
+                tinv = inverse_trans(t);
+                cube = applytrans(cube, transstr[tinv]);
+
+                if (iserror(cube)) {
+                        printf("Error transforming cube\n");
+                } else if (!issolvable(cube)) {
+                        printf("Transformed cube is not solvable\n");
+                } else {
+                        cube = applymoves(cube, "F'");
+                        cube = applymoves(cube, "U'");
+                        cube = applymoves(cube, "R'");
+                        if (!issolved(cube))
+                                printf("%s: Error! Got %" PRIu8 "\n",
+                                    transstr[t], tinv);
+                }
+        }
+
+        return 0;
+}
diff --git a/test/100_gendata_cocsep/00_all.in b/test/100_gendata_cocsep/00_all.in
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/100_gendata_cocsep/00_all.in
diff --git a/test/100_gendata_cocsep/00_all.out b/test/100_gendata_cocsep/00_all.out
new file mode 100644
index 0000000..37b8c1d
--- /dev/null
+++ b/test/100_gendata_cocsep/00_all.out
@@ -0,0 +1 @@
+1119788
diff --git a/test/100_gendata_cocsep/gendata_cocsep_tests.c b/test/100_gendata_cocsep/gendata_cocsep_tests.c
new file mode 100644
index 0000000..19dfa9f
--- /dev/null
+++ b/test/100_gendata_cocsep/gendata_cocsep_tests.c
@@ -0,0 +1,14 @@
+#include "../test.h"
+
+size_t gendata_cocsep(void *);
+
+int main(void) {
+        uint32_t buf[300000];
+        size_t result;
+
+        result = gendata_cocsep(buf);
+
+        printf("%zu\n", result);
+
+        return 0;
+}
diff --git a/test/test.h b/test/test.h
index 7c5400e..3cbfd10 100644
--- a/test/test.h
+++ b/test/test.h
@@ -22,5 +22,6 @@ typedef cube_t cube_fast_t;
 cube_t solvedcube(void);
 bool iserror(cube_t);
 bool issolvable(cube_t);
+bool issolved(cube_t);
 cube_t readcube(char *, char *);
 void writecube(char *, cube_t, char *);