small update

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 6b1c0d4..8ee1bd3 100644 (file)
--- 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");