fix

lperron · lperron · commit 7c52f28d700b · 2025-06-05T11:33:55.000+02:00
diff --git a/ortools/sat/scheduling_cuts.cc b/ortools/sat/scheduling_cuts.cc
@@ -1456,7 +1456,7 @@ ABSL_MUST_USE_RESULT bool GenerateShortCompletionTimeCutsWithExactBound(
               helper, min_sum_of_ends, min_sum_of_weighted_ends,
               cut_use_precedences, exploration_limit);
       if (status == CompletionTimeExplorationStatus::NO_VALID_PERMUTATION) {
-        return false;
+        break;
       } else if (status == CompletionTimeExplorationStatus::ABORTED) {
         break;
       }

Original file line number	Diff line number	Diff line change
`@@ -1456,7 +1456,7 @@ ABSL_MUST_USE_RESULT bool GenerateShortCompletionTimeCutsWithExactBound(`
`1456`	`1456`	`helper, min_sum_of_ends, min_sum_of_weighted_ends,`
`1457`	`1457`	`cut_use_precedences, exploration_limit);`
`1458`	`1458`	`if (status == CompletionTimeExplorationStatus::NO_VALID_PERMUTATION) {`
`1459`		`- return false;`
	`1459`	`+ break;`
`1460`	`1460`	`} else if (status == CompletionTimeExplorationStatus::ABORTED) {`
`1461`	`1461`	`break;`
`1462`	`1462`	`}`