Skip to content

[Test] allow infeasible problems to also return INFEASIBLE_OR_UNBOUNDED - #3066

Merged
odow merged 1 commit into
masterfrom
od/relax
Sep 1, 2026
Merged

[Test] allow infeasible problems to also return INFEASIBLE_OR_UNBOUNDED#3066
odow merged 1 commit into
masterfrom
od/relax

Conversation

@odow

@odow odow commented Sep 1, 2026

Copy link
Copy Markdown
Member

Cbc returns INFEASIBLE_OR_UNBOUNDED here, which is reasonable: https://github.com/jump-dev/Cbc.jl/blob/43e5ecccdccee10a0ac2e5c8566330ce1910b2c7/test/MOI_wrapper.jl#L49-L51

There are already a bunch of other tests with a similar check:

if _supports(config, MOI.optimize!)
@test MOI.get(model, MOI.TerminationStatus()) == MOI.OPTIMIZE_NOT_CALLED
MOI.optimize!(model)
@test MOI.get(model, MOI.TerminationStatus()) in
[config.infeasible_status, MOI.INFEASIBLE_OR_UNBOUNDED]
# TODO test dual feasibility and objective sign
end

@odow
odow merged commit d4c240c into master Sep 1, 2026
30 checks passed
@odow
odow deleted the od/relax branch September 1, 2026 04:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant