Skip to content

Commit 2b2dcd0

Browse files
committed
Update
1 parent 1ba8447 commit 2b2dcd0

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/Test/test_solve.jl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1304,6 +1304,8 @@ function test_solve_conflict_zeroone(
13041304
MOI.ScalarAffineFunction(MOI.ScalarAffineTerm.(T(1), [x]), T(0)),
13051305
MOI.GreaterThan(T(2)),
13061306
)
1307+
status = MOI.get(model, MOI.ConflictStatus())
1308+
@test status == MOI.COMPUTE_CONFLICT_NOT_CALLED
13071309
MOI.optimize!(model)
13081310
@test MOI.get(model, MOI.TerminationStatus()) == config.infeasible_status
13091311
MOI.compute_conflict!(model)
@@ -1360,6 +1362,8 @@ function test_solve_conflict_zeroone_2(
13601362
MOI.ScalarAffineFunction(MOI.ScalarAffineTerm.(T(1), [x]), T(0)),
13611363
MOI.EqualTo(T(1) / T(2)),
13621364
)
1365+
status = MOI.get(model, MOI.ConflictStatus())
1366+
@test status == MOI.COMPUTE_CONFLICT_NOT_CALLED
13631367
MOI.optimize!(model)
13641368
@test MOI.get(model, MOI.TerminationStatus()) == config.infeasible_status
13651369
MOI.compute_conflict!(model)

0 commit comments

Comments
 (0)