X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=7940dc94d65aceab344e5f156e1e11a0e0e8e208;hb=03c6e2f515f6516448ec39aa40a439b9fc20c4c8;hp=02cda40f09ee0bedcbc35eb59b93a76c02b246ee;hpb=b29982e8181d823142ce12b6d582181937fba7ad;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 02cda40..7940dc9 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -48,9 +48,9 @@ void solve(FILE *inputstream)
 	time_start_read = clock();
 	sokoban_screen *screen = parse_screen(inputstream);
 	if (screen == NULL) printf("Something went wrong...\n");
-	sokoban_print(screen);
-
+	//sokoban_print(screen);
 	time_end_read = clock();
+
 	time_start_encode = clock();
 
 	lace_init(0, 1000000);
@@ -62,6 +62,7 @@ void solve(FILE *inputstream)
 		case COORD:
 			DPRINT("Encoding coordinate based\n");
 			encode_screen(screen);
+			//test_relprod();
 			break;
 		case OBJECT:
 			DPRINT("Encoding object based\n");