diff --git a/src/iis.jl b/src/iis.jl index 95032f4..04699fa 100644 --- a/src/iis.jl +++ b/src/iis.jl @@ -76,8 +76,8 @@ function MOI.set( ) optimizer.original_model = model # this also resets the results - results = InfeasibilityData[] - status = MOI.COMPUTE_CONFLICT_NOT_CALLED + optimizer.results = InfeasibilityData[] + optimizer.status = MOI.COMPUTE_CONFLICT_NOT_CALLED return end diff --git a/test/runtests.jl b/test/runtests.jl index 1b37b87..692be44 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -486,6 +486,9 @@ function test_iis() @test data[].irreducible @test data[].metadata == MOIIS.NoData() @test _isequal_unordered(data[].constraints, [index(c2), index(c1)]) + MOI.set(solver, MOIIS.InfeasibleModel(), backend(model)) + @test isempty(solver.results) + @test solver.status == MOI.COMPUTE_CONFLICT_NOT_CALLED return end