Update

Author: odow

src/MathOptIIS.jl

@@ -1004,6 +1004,9 @@ function _dual_certificate!(
 )
     for (F, S) in MOI.get(model, MOI.ListOfConstraintTypesPresent())
         for ci in MOI.get(model, MOI.ListOfConstraintIndices{F,S}())
+            # This iszero check here is rather tight. We may want to consider
+            # relaxing it for solvers like SCS that have some tolerance for what
+            # is a certificate.
             if !iszero(MOI.get(model, MOI.ConstraintDual(), ci))
                 push!(dual_certificate, ci)
             end

test/runtests.jl

@@ -570,15 +570,19 @@ function test_iis_spare_scs()
     solver = MathOptIIS.Optimizer()
     MOI.set(solver, MathOptIIS.InfeasibleModel(), backend(model))
     MOI.set(solver, MathOptIIS.InnerOptimizer(), SCS.Optimizer)
+    MOI.set(solver, MOI.Silent(), false)
     MOI.compute_conflict!(solver)
-    data = solver.results
-    @test length(data) == 1
-    @test data[1].metadata === nothing
-    @test _isequal_unordered(data[].constraints, [index(c2), index(c1)])
+    data = only(solver.results)
+    @test data.metadata === nothing
+    @test _isequal_unordered(data.constraints, [index(c2), index(c1)])
     result = Dict(c1 => MOI.IN_CONFLICT, c2 => MOI.IN_CONFLICT)
     for ci in all_constraints(model; include_variable_in_set_constraints = true)
-        @test MOI.get(solver, MOI.ConstraintConflictStatus(), index(ci)) ==
-              get(result, ci, MOI.NOT_IN_CONFLICT)
+        stat = MOI.get(solver, MOI.ConstraintConflictStatus(), index(ci))
+        if haskey(result, ci)
+            @test stat == result[ci]
+        else
+            @test stat != MOI.IN_CONFLICT
+        end
     end
     return
 end