Merge pull request #2107 from fwesselm/fix-2095

Fix 2095
ERGO-Code · Jan 9, 2025 · b6a528e · b6a528e
2 parents 2dfbec1 + a1d4c07
commit b6a528e
Show file tree

Hide file tree

Showing 4 changed files with 893 additions and 23 deletions.
diff --git a/check/TestPresolve.cpp b/check/TestPresolve.cpp
@@ -639,3 +639,13 @@ TEST_CASE("presolve-slacks", "[highs_test_presolve]") {
   REQUIRE(h.getPresolvedLp().num_col_ == 2);
   REQUIRE(h.getPresolvedLp().num_row_ == 2);
 }
+
+TEST_CASE("presolve-issue-2095", "[highs_test_presolve]") {
+  std::string model_file =
+      std::string(HIGHS_DIR) + "/check/instances/issue-2095.mps";
+  Highs highs;
+  highs.setOptionValue("output_flag", dev_run);
+  highs.readModel(model_file);
+  REQUIRE(highs.presolve() == HighsStatus::kOk);
+  REQUIRE(highs.getModelPresolveStatus() == HighsPresolveStatus::kReduced);
+}