1 files changed, 12 insertions, 123 deletions

diff --git a/src/main.c b/src/main.c
index efe6817..8c05b85 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1,26 +1,33 @@
 // Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
 
+#ifndef TEST
 #include <stdio.h>
 
+#define GC_PRINT_STATS 1
+
 #include <parse.h>
-#include <term.h>
 #include <reducer.h>
 #include <gc.h>
 
-#ifndef TEST
 static void callback(int i, char ch, void *data)
 {
-	printf("%d: %c\n", i, ch);
+	(void)i;
+	(void)ch;
+	(void)data;
+	/* printf("%d: %c\n", i, ch); */
 }
 
 int main(void)
 {
+	GC_INIT();
+	GC_enable_incremental();
+
 	// Benchmarking test for memory leaks and stack overflows, will probably not return: "([(((0 [[((0 1) 0)]]) [(0 0)]) 0)] [[(1 (1 0))]])"
 	struct term *term =
 		parse("([(((0 [[((0 1) 0)]]) [(0 0)]) 0)] [[(1 (1 0))]])");
 
 	printf("\nReduced:\n");
-	struct term *reduced = reduce(term, callback);
+	struct term *reduced = reduce(term, callback, 0);
 	to_bruijn(reduced);
 	print_term(reduced);
 	printf("\n");
@@ -29,123 +36,5 @@ int main(void)
 	return 0;
 }
 #else
-
-#ifndef NTESTS
-#define NTESTS 6
-#endif
-
-#ifndef STARTTEST
-#define STARTTEST 0
-#endif
-
-#define TESTDIR "./tests/"
-
-#include <stdlib.h>
-#include <string.h>
-#include <errno.h>
-#include <time.h>
-
-struct test {
-	struct term *in;
-	struct term *res;
-	struct term *red;
-	char *trans;
-	struct {
-		int alpha;
-		int trans;
-	} equivalency;
-};
-
-static char *read_file(const char *path)
-{
-	FILE *f = fopen(path, "rb");
-	if (!f) {
-		fprintf(stderr, "Can't open file %s: %s\n", path,
-			strerror(errno));
-		return 0;
-	}
-	fseek(f, 0, SEEK_END);
-	long fsize = ftell(f);
-	fseek(f, 0, SEEK_SET);
-
-	char *string = malloc(fsize + 1);
-	int ret = fread(string, fsize, 1, f);
-	fclose(f);
-
-	if (ret != 1) {
-		fprintf(stderr, "Can't read file %s: %s\n", path,
-			strerror(errno));
-		return 0;
-	}
-
-	string[fsize] = 0;
-	return string;
-}
-
-static void callback(int i, char ch, void *data)
-{
-	struct test *test = data;
-	if (ch != test->trans[i]) {
-		fprintf(stderr, "Transition deviation at index %d!\n", i);
-		test->equivalency.trans = 0;
-	}
-	/* fprintf(stderr, "\n%d: %c\n", i, ch); */
-}
-
-int main(int argc, char **argv)
-{
-	GC_INIT();
-
-	struct test tests[NTESTS] = { 0 };
-
-	char in_template[] = TESTDIR "x.in";
-	char red_template[] = TESTDIR "x.red";
-	char trans_template[] = TESTDIR "x.trans";
-	int offset = strlen(TESTDIR);
-	for (int i = 0; i < NTESTS; i++) {
-		char ch = '0' + i + 1 + STARTTEST;
-		in_template[offset] = ch;
-		red_template[offset] = ch;
-		trans_template[offset] = ch;
-		tests[i].trans = read_file(trans_template);
-
-		char *in = read_file(in_template);
-		tests[i].in = parse(in);
-		free(in);
-
-		char *red = read_file(red_template);
-		tests[i].red = parse(red);
-		to_bruijn(tests[i].red);
-		free(red);
-
-		tests[i].equivalency.trans = 1;
-	}
-
-	clock_t begin = clock();
-	for (int i = 0; i < NTESTS; i++) {
-		tests[i].res = reduce(tests[i].in, callback, &tests[i]);
-		printf("Test %d done\n", i + 1 + STARTTEST);
-	}
-	clock_t end = clock();
-
-	for (int i = 0; i < NTESTS; i++) {
-		to_bruijn(tests[i].res);
-		tests[i].equivalency.alpha =
-			alpha_equivalency(tests[i].res, tests[i].red);
-		free_term(tests[i].res);
-		free_term(tests[i].red);
-		free(tests[i].trans);
-	}
-
-	printf("=== SUMMARY ===\n");
-	printf("Reduced tests in %.5fs\n",
-	       (double)(end - begin) / CLOCKS_PER_SEC);
-	for (int i = 0; i < NTESTS; i++) {
-		if (tests[i].equivalency.alpha && tests[i].equivalency.trans)
-			continue;
-		printf("Test %d: [failed]\n\talpha-equivalency: %d\n\ttrans-equivalency: %d\n",
-		       i + 1 + STARTTEST, tests[i].equivalency.alpha,
-		       tests[i].equivalency.trans);
-	}
-}
+static int testing;
 #endif