Need to work on IIS for feasible LPs!

Author: jajhall

check/TestCAPI.c

@@ -2238,6 +2238,77 @@ void testIis() {
     }
   }
 
+  // Re #2635 check with feasible LP
+  /*
+  Highs_clear(highs);
+
+  ret = Highs_addCol(highs, 0.0, 0.0, inf, 0, NULL, NULL);
+  assert(ret == 0);
+  ret = Highs_addCol(highs, 0.0, 0.0, inf, 0, NULL, NULL);
+  assert(ret == 0);
+  index[0] = 0;
+  index[1] = 1;
+  value_1[0] = 1;
+  value_1[1] = 2;
+  value_2[0] = 1;
+  value_2[1] = 4;
+  ret = Highs_addRow(highs, -inf, 80, 2, index, value_1);
+  assert(ret == 0);
+  ret = Highs_addRow(highs, -inf, 120, 2, index, value_2);
+  assert(ret == 0);
+
+  ret = Highs_getLp(highs, kHighsMatrixFormatRowwise,
+		    &num_col, &num_row, &num_nz,
+		    &sense, &offset,
+		    NULL, NULL, NULL, 
+		    NULL, NULL,
+		    NULL, NULL, NULL,
+		    NULL);
+
+  HighsInt* col_index;
+  HighsInt* row_index;
+  HighsInt* col_bound;
+  HighsInt* row_bound;
+  HighsInt* col_status = (HighsInt*)malloc(sizeof(HighsInt) * num_col);
+  HighsInt* row_status = (HighsInt*)malloc(sizeof(HighsInt) * num_row);
+
+  for (int k = 0 ; k < 2; k++) {
+    HighsInt iis_num_col;
+    HighsInt iis_num_row;
+    ret = Highs_getIis(highs,
+		       &iis_num_col, &iis_num_row,
+		       NULL, NULL,
+		       NULL, NULL,
+		       NULL, NULL);
+    assert(ret == 0);
+
+    assert(iis_num_col == 0);
+    assert(iis_num_row == 0);
+    ret = Highs_getIis(highs,
+		       &iis_num_col, &iis_num_row,
+		       col_index, row_index,
+		       col_bound, row_bound,
+		       col_status, row_status);
+    if (k == 0) {
+      assert(ret == 0);
+      
+      assert(col_status[0] == kHighsIisStatusNotInConflict);
+      assert(col_status[1] == kHighsIisStatusNotInConflict);
+      
+      assert(row_status[0] == kHighsIisStatusNotInConflict);
+      assert(row_status[1] == kHighsIisStatusNotInConflict);
+    } else {
+      assert(ret == -1);
+    }
+  }
+  free(col_index);
+  free(row_index);
+  free(col_bound);
+  free(row_bound);
+  free(col_status);
+  free(row_status);
+  */
+
   Highs_destroy(highs);
 }
 
@@ -2351,30 +2422,30 @@ void testFixedLp() {
 }
 
 int main() {
-    minimalApiIllegalLp();
-    testCallback();
-    versionApi();
-    fullApi();
-    minimalApiLp();
-    minimalApiMip();
-    minimalApiQp();
-    fullApiOptions();
-    fullApiLp();
-    fullApiMip();
-    fullApiQp();
-    passPresolveGetLp();
-    options();
-    testGetColsByRange();
-    testPassHessian();
-    testRanging();
-    testFeasibilityRelaxation();
-    testGetModel();
-    testMultiObjective();
-    testQpIndefiniteFailure();
-    testDualRayTwice();
-    testDeleteRowResolveWithBasis();
+  //    minimalApiIllegalLp();
+  //    testCallback();
+  //    versionApi();
+  //    fullApi();
+  //    minimalApiLp();
+  //    minimalApiMip();
+  //    minimalApiQp();
+  //    fullApiOptions();
+  //    fullApiLp();
+  //    fullApiMip();
+  //    fullApiQp();
+  //    passPresolveGetLp();
+  //    options();
+  //    testGetColsByRange();
+  //    testPassHessian();
+  //    testRanging();
+  //    testFeasibilityRelaxation();
+  //    testGetModel();
+  //    testMultiObjective();
+  //    testQpIndefiniteFailure();
+  //    testDualRayTwice();
+  //    testDeleteRowResolveWithBasis();
     testIis();
-    testFixedLp();
+    //    testFixedLp();
   return 0;
 }
 //  testSetSolution();