Correcting the MsSolver checking code of an result of another thread

marekpiotrow · marekpiotrow · commit 47375758256f · 2025-03-28T10:51:15.000+01:00
diff --git a/MsSolver.cc b/MsSolver.cc
@@ -733,7 +733,8 @@ void MsSolver::maxsat_solve(solve_Command cmd)
             return;
         }
       }
-    if (opt_scip_parallel && scip_solver.asynch_result.valid() &&
+    if (opt_scip_parallel && scip_solver.asynch_result.valid() && 
+            scip_solver.asynch_result.wait_for(std::chrono::milliseconds(1)) == std::future_status::ready &&
             l_True == scip_solver.asynch_result.get()) break;
 #endif
       sat_conflicts.clear();

Original file line number	Diff line number	Diff line change
`@@ -733,7 +733,8 @@ void MsSolver::maxsat_solve(solve_Command cmd)`
`733`	`733`	`return;`
`734`	`734`	`}`
`735`	`735`	`}`
`736`		`- if (opt_scip_parallel && scip_solver.asynch_result.valid() &&`
	`736`	`+ if (opt_scip_parallel && scip_solver.asynch_result.valid() &&`
	`737`	`+ scip_solver.asynch_result.wait_for(std::chrono::milliseconds(1)) == std::future_status::ready &&`
`737`	`738`	`l_True == scip_solver.asynch_result.get()) break;`
`738`	`739`	`#endif`
`739`	`740`	`sat_conflicts.clear();`