X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=fd37c23c5f19d2078f712085b188f23822b1adec;hb=4a12ac1dc78abbc034e2e12e6571ddd474deb877;hp=16eecbedacce27f84dda041d8f4ba7b0869a8747;hpb=81eb34c9ea8b55240eb973b1e9f3911fb6da8a7d;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 16eecbe..fd37c23 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -66,9 +66,11 @@ void solve(FILE *inputstream)
 	BDD new = init->bdd;
 	int iteration = 0;
 	while(new != old){
-		ERRPRINT("Iteration %d\n", iteration++);
 		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){
             new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
             t = t->next_rel;