Skip to content

Commit 1b632d3

Browse files
committed
Remove incorrect assert
1 parent 5b9fa73 commit 1b632d3

File tree

1 file changed

+1
-7
lines changed

1 file changed

+1
-7
lines changed

highs/mip/HighsFeasibilityJump.cpp

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -142,13 +142,7 @@ HighsModelStatus HighsMipSolverData::feasibilityJump() {
142142
// Initial assignments that violate integrality or column bounds can lead to
143143
// infeasible results. Even if those initial assignments should not occur,
144144
// use trySolution rather than addIncumbent for an explicit check.
145-
bool is_really_feasible =
146-
trySolution(col_value, kSolutionSourceFeasibilityJump);
147-
if (!is_really_feasible) {
148-
highsLogUser(log_options, HighsLogType::kInfo,
149-
"Discarding infeasible result from Feasibility Jump\n");
150-
}
151-
assert(is_really_feasible);
145+
trySolution(col_value, kSolutionSourceFeasibilityJump);
152146
}
153147
return HighsModelStatus::kNotset;
154148
#endif

0 commit comments

Comments
 (0)