transitions are finished

[mc1516pa.git] / modelchecker / main.c

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