From d0b4cf4497d9dfdb0a5f5f973af25008f8b5c65f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 20 Feb 2023 20:32:45 +0100
Subject: Added BLC parsing/printing

---
 src/test.c | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'src/test.c')

diff --git a/src/test.c b/src/test.c
index c9023ea..c9bb3a6 100644
--- a/src/test.c
+++ b/src/test.c
@@ -168,7 +168,7 @@ static void test_explode(void)
 			deviations++;
 	}
 
-	printf("Test explode ((n ω) x) with n<=%d: %.5fs, %d transition deviations\n",
+	printf("Test explode (λx.((n ω) x)) with n<=%d: %.5fs, %d transition deviations\n",
 	       limit, time, deviations);
 }
 
@@ -205,7 +205,6 @@ static void callback(int i, char ch, void *data)
 		fprintf(stderr, "Transition deviation at index %d!\n", i);
 		test->equivalency.trans = 0;
 	}
-	/* fprintf(stderr, "\n%d: %c\n", i, ch); */
 }
 
 int main(void)
@@ -227,11 +226,11 @@ int main(void)
 		tests[i].trans = read_file(trans_template);
 
 		char *in = read_file(in_template);
-		tests[i].in = parse(in);
+		tests[i].in = parse_bruijn(in);
 		free(in);
 
 		char *red = read_file(red_template);
-		tests[i].red = parse(red);
+		tests[i].red = parse_bruijn(red);
 		to_bruijn(tests[i].red);
 		free(red);
 
@@ -270,5 +269,5 @@ int main(void)
 	test_explode();
 }
 #else
-static int no_testing;
+__attribute__((unused)) static int no_testing;
 #endif
-- 
cgit v1.2.3