From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Thu, 21 Apr 2016 15:53:13 +0000 (+0200)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=41789af2a8cd49a9301b4d836e7ee30eeba6a552;p=mc1516pa.git

update
---

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;
 }