Skip to content

Commit 95cdab0

Browse files
committed
Cannot remove free x in C API test for IIS
1 parent 1c2ed37 commit 95cdab0

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

check/TestCAPI.c

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2128,7 +2128,7 @@ void testDeleteRowResolveWithBasis() {
21282128

21292129
void testIis() {
21302130
void* highs = Highs_create();
2131-
//Highs_setBoolOptionValue(highs, "output_flag", dev_run);
2131+
Highs_setBoolOptionValue(highs, "output_flag", dev_run);
21322132
HighsInt ret;
21332133
double inf = Highs_getInfinity(highs);
21342134
// For the constraints
@@ -2141,10 +2141,13 @@ void testIis() {
21412141
//
21422142
// with variables in [0, 1], constraints 0 and 2 form an IIS with
21432143
//
2144-
// x free (so should be removed?); 0 <= y; 0 <= z
2144+
// x free; 0 <= y; 0 <= z
21452145
//
21462146
// x + y - z >= 2; x + 2y + z <= 1
21472147
//
2148+
// x may be free, but can't immediately be removed, otherwise
2149+
// removing y >= 0 yields an infeasible LP
2150+
//
21482151
ret = Highs_addCol(highs, 0.0, 0.0, 1.0, 0, NULL, NULL);
21492152
assert(ret == 0);
21502153
ret = Highs_addCol(highs, 0.0, 0.0, 1.0, 0, NULL, NULL);

0 commit comments

Comments
 (0)