Added comments to IP-infeasible-unbounded test case

ERGO-Code · Nov 7, 2024 · 7aede2a · 7aede2a
1 parent 9e57225
commit 7aede2a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/check/TestMipSolver.cpp b/check/TestMipSolver.cpp
@@ -679,12 +679,16 @@ TEST_CASE("IP-infeasible-unbounded", "[highs_test_mip_solver]") {
       highs.run();
       HighsModelStatus required_model_status;
       if (k == 0) {
+	// Presolve off
         if (l == 0) {
+	  // MIP solver proves infeasiblilty
           required_model_status = HighsModelStatus::kInfeasible;
         } else {
+	  // Relaxation is unbounded, but origin is feasible
           required_model_status = HighsModelStatus::kUnbounded;
         }
       } else {
+	// Presolve on, and identifies primal infeasible or unbounded
         required_model_status = HighsModelStatus::kUnboundedOrInfeasible;
       }
       REQUIRE(highs.getModelStatus() == required_model_status);