X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=6b1c0d4338dd5a10aca7232487300a3ae94a93e0;hb=509bd1dfaca9df4125e648a96e0c47ef2cf054ae;hp=7940dc94d65aceab344e5f156e1e11a0e0e8e208;hpb=37c3344e7c8daf73cbcf72e7152dc2aeac6b5691;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 7940dc9..6b1c0d4 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -61,8 +61,9 @@ void solve(FILE *inputstream)
 	switch(strat){
 		case COORD:
 			DPRINT("Encoding coordinate based\n");
-			encode_screen(screen);
+			//encode_screen(screen);
 			//test_relprod();
+			encode_rel(screen);
 			break;
 		case OBJECT:
 			DPRINT("Encoding object based\n");