From cfbc1860768736fdbc4e213a5bb1249b4c210c56 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 15 Oct 2019 11:55:46 -0700
Subject: [PATCH] BUG FIX:Timeout getting stuck bug

---
 src/Backend/inc_solver.cc | 2 ++
 1 file changed, 2 insertions(+)

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) {
-- 
2.34.1