Skip to content

Commit 2e93732

Browse files
authored
Merge pull request #2457 from fwesselm/fix-2446
Fix 2446
2 parents 91750af + 39c52a2 commit 2e93732

File tree

3 files changed

+9294
-116
lines changed

3 files changed

+9294
-116
lines changed

check/TestPresolve.cpp

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -724,3 +724,13 @@ TEST_CASE("presolve-issue-2402", "[highs_test_presolve]") {
724724
REQUIRE(highs.presolve() == HighsStatus::kOk);
725725
REQUIRE(highs.getModelPresolveStatus() == HighsPresolveStatus::kInfeasible);
726726
}
727+
728+
TEST_CASE("presolve-issue-2446", "[highs_test_presolve]") {
729+
std::string model_file =
730+
std::string(HIGHS_DIR) + "/check/instances/issue-2446.mps";
731+
Highs highs;
732+
highs.setOptionValue("output_flag", dev_run);
733+
highs.readModel(model_file);
734+
REQUIRE(highs.presolve() == HighsStatus::kOk);
735+
REQUIRE(highs.getModelPresolveStatus() == HighsPresolveStatus::kReduced);
736+
}

0 commit comments

Comments
 (0)