added two piece tests and test.sh script

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index fd37c23..7cc1070 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -68,7 +68,6 @@ void solve(FILE *inputstream)
        while(new != old){
                old = new;
                ERRPRINT("Iteration %d\n", iteration++);
-               ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
         trans_t *t = rls->rell;
 
         while (t != NULL){
@@ -91,6 +90,7 @@ void solve(FILE *inputstream)
             t = t->next_rel;
         }
        }
+       ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
                //sylvan_printdot_nc(old);
        //switch(strat){
        //      case COORD: