Skip to content

Commit 17fdb8b

Browse files
authored
Merge pull request #2406 from fwesselm/fix-2402
Fix 2402
2 parents cca0434 + 4fc984a commit 17fdb8b

File tree

4 files changed

+516
-58
lines changed

4 files changed

+516
-58
lines changed

check/TestPresolve.cpp

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -714,3 +714,13 @@ TEST_CASE("presolve-issue-2388", "[highs_test_presolve]") {
714714
REQUIRE(highs.getModelPresolveStatus() ==
715715
HighsPresolveStatus::kReducedToEmpty);
716716
}
717+
718+
TEST_CASE("presolve-issue-2402", "[highs_test_presolve]") {
719+
std::string model_file =
720+
std::string(HIGHS_DIR) + "/check/instances/issue-2402.mps";
721+
Highs highs;
722+
highs.setOptionValue("output_flag", dev_run);
723+
highs.readModel(model_file);
724+
REQUIRE(highs.presolve() == HighsStatus::kOk);
725+
REQUIRE(highs.getModelPresolveStatus() == HighsPresolveStatus::kInfeasible);
726+
}

0 commit comments

Comments
 (0)