From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 15 Oct 2019 18:55:46 +0000 (-0700)
Subject: BUG FIX:Timeout getting stuck bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cfbc1860768736fdbc4e213a5bb1249b4c210c56;p=satune.git

BUG FIX:Timeout getting stuck bug
---

diff --git a/src/Backend/inc_solver.cc b/src/Backend/inc_solver.cc
index a89ed8b..de88f19 100644
--- a/src/Backend/inc_solver.cc
+++ b/src/Backend/inc_solver.cc
@@ -102,6 +102,8 @@ int getSolution(IncrementalSolver *This) {
 		}
 		readSolver(This, &This->solution[1], numVars * sizeof(int));
 		This->solutionsize = numVars;
+	} else if (result == IS_INDETER){
+		return result;	
 	} else {//Reading unsat explanation
 		int numVars = readIntSolver(This);
 		if (numVars > This->solutionsize) {