Skip to content

Commit

Permalink
Added logging to MIP-unbounded 2-d example without presovle to expose…
Browse files Browse the repository at this point in the history
… FJ infeasibility
  • Loading branch information
jajhall committed Dec 4, 2024
1 parent 208638e commit 74240eb
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions check/TestMipSolver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -378,11 +378,13 @@ TEST_CASE("MIP-unbounded", "[highs_test_mip_solver]") {
// HighsModelStatus::kUnboundedOrInfeasible from presolve
highs.setOptionValue("presolve", kHighsOnString);
require_model_status = HighsModelStatus::kUnboundedOrInfeasible;
highs.setOptionValue("output_flag", dev_run);
} else {
// With use_presolve = false, MIP solver returns
// HighsModelStatus::kUnboundedOrInfeasible
highs.setOptionValue("presolve", kHighsOffString);
require_model_status = HighsModelStatus::kUnboundedOrInfeasible;
highs.setOptionValue("output_flag", true);
}

return_status = highs.passModel(lp);
Expand Down

0 comments on commit 74240eb

Please sign in to comment.