X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=8ee1bd3395e73123f7c175eaedca9fdb04198c28;hb=961d38840cf50e864cb83711bd9419033c3acd7d;hp=6b1c0d4338dd5a10aca7232487300a3ae94a93e0;hpb=d5d879b4e6dff962b6d31be06b8e555e72819963;p=mc1516pa.git

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