Skip to content

Commit 7aede2a

Browse files
committed
Added comments to IP-infeasible-unbounded test case
1 parent 9e57225 commit 7aede2a

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

check/TestMipSolver.cpp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -679,12 +679,16 @@ TEST_CASE("IP-infeasible-unbounded", "[highs_test_mip_solver]") {
679679
highs.run();
680680
HighsModelStatus required_model_status;
681681
if (k == 0) {
682+
// Presolve off
682683
if (l == 0) {
684+
// MIP solver proves infeasiblilty
683685
required_model_status = HighsModelStatus::kInfeasible;
684686
} else {
687+
// Relaxation is unbounded, but origin is feasible
685688
required_model_status = HighsModelStatus::kUnbounded;
686689
}
687690
} else {
691+
// Presolve on, and identifies primal infeasible or unbounded
688692
required_model_status = HighsModelStatus::kUnboundedOrInfeasible;
689693
}
690694
REQUIRE(highs.getModelStatus() == required_model_status);

0 commit comments

Comments
 (0)