BUG FIX:Timeout getting stuck bug
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 15 Oct 2019 18:55:46 +0000 (11:55 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 15 Oct 2019 18:55:46 +0000 (11:55 -0700)
src/Backend/inc_solver.cc

index a89ed8b..de88f19 100644 (file)
@@ -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) {