yet another tiny update

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 85c6303..bcf8c7b 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -124,6 +124,7 @@ void solve(FILE *inputstream)
                 break;
             }
         }
+        printf("Solution is not found after %d iteration(s)\n", iteration);
     }
     else printf("No solution found!\n");
        //ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));