From c37dca226def0cff32735c3e7becaf95691e747c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Sat, 4 Oct 2025 23:33:53 +0200 Subject: [PATCH 1/2] Fix reset of results and status --- src/iis.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 From 754f8f7e70df4523a245b20341f89d732184df27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Wed, 8 Oct 2025 22:09:48 +0200 Subject: [PATCH 2/2] Add test --- test/runtests.jl | 3 +++ 1 file changed, 3 insertions(+) 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