Skip to content

Commit 255320a

Browse files
Make sure model is infeasible
1 parent f36e937 commit 255320a

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

src/Infeasibility/analyze.jl

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,8 @@ function _analyze_native_iis(model::MOI.ModelLike, optimizer)
219219
end
220220
index_map = MOI.copy_to(solver, model)
221221
reverse_map = _reverse_index_map(index_map)
222-
222+
223+
MOI.optimize!(solver) # make sure model is infeasible
223224
MOI.compute_conflict!(solver)
224225

225226
status = MOI.get(solver, MOI.ConflictStatus())

0 commit comments

Comments
 (0)