From b3851097adbafa74d01e05b25ba550a814a5767d Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Wed, 20 Apr 2016 15:50:32 +0200 Subject: [PATCH] yet another tiny update --- modelchecker/main.c | 1 + 1 file changed, 1 insertion(+) diff --git a/modelchecker/main.c b/modelchecker/main.c index 85c6303..bcf8c7b 100644 --- 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)); -- 2.20.1