transition fix

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 20ad57b..5ca9c87 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -61,6 +61,7 @@ void solve(FILE *inputstream)
 
        state *init = encode_screen(screen);
        rels *rls = encode_rel(screen);
+    //test_trans(init, rls->reld);
 
        BDD old = sylvan_false;
        BDD new = init->bdd;