From 41789af2a8cd49a9301b4d836e7ee30eeba6a552 Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Thu, 21 Apr 2016 17:53:13 +0200 Subject: [PATCH] update --- modelchecker/main.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/modelchecker/main.c b/modelchecker/main.c index 0b0067b..232bac6 100644 --- a/modelchecker/main.c +++ b/modelchecker/main.c @@ -104,7 +104,7 @@ int solve(FILE *inputstream, char *lurd) } //int iteration = 0; - bool found = false; + //bool found = false; /* while(new != old){ DPRINT("Iteration %d\n", iteration++); @@ -134,7 +134,7 @@ int solve(FILE *inputstream, char *lurd) l = l->next; } printf("\n"); - } else found = 0; + } time_end_solve = clock(); @@ -147,10 +147,12 @@ int solve(FILE *inputstream, char *lurd) REPORT("Relation encoding: %fs\n", time_end_rel, time_start_rel); REPORT("Solving encoding: %fs\n", time_end_solve, time_start_solve); + /* if(!found){ printf("no solution\n"); return 1; } + */ return 0; } -- 2.20.1