We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ab3feb8 commit abd15b3Copy full SHA for abd15b3
test/MOI_tests.jl
@@ -247,8 +247,7 @@ function test_minimum_unsatisfiable_system()
247
MOI.optimize!(model)
248
MOI.get(model, MOI.TerminationStatus()) == MOI.INFEASIBLE
249
SCIP.compute_minimum_unsatisfied_constraints!(model)
250
- @test MOI.get(model, SCIP.UnsatisfiableSystemStatus()) ==
251
- MOI.CONFLICT_FOUND
+ @test MOI.get(model, SCIP.UnsatisfiableSystemStatus()) == MOI.CONFLICT_FOUND
252
@test MOI.get(model, attr, c) == MOI.IN_CONFLICT ||
253
MOI.get(model, attr, c2) == MOI.IN_CONFLICT
254
c_zeroone = MOI.ConstraintIndex{MOI.VariableIndex,MOI.ZeroOne}(x.value)
0 commit comments