From abbdb17e1e05905e9493b39606f0dff9cc57d6a3 Mon Sep 17 00:00:00 2001 From: odow Date: Wed, 23 Oct 2024 14:22:13 +1300 Subject: [PATCH] Update --- test/MOI_wrapper.jl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/test/MOI_wrapper.jl b/test/MOI_wrapper.jl index cbe5d41..0c39aef 100644 --- a/test/MOI_wrapper.jl +++ b/test/MOI_wrapper.jl @@ -24,6 +24,9 @@ end function test_runtests() model = MOI.Bridges.full_bridge_optimizer(HiGHS.Optimizer(), Float64) MOI.set(model, MOI.Silent(), true) + # Turn presolve off so that we generate infeasibility certificates. This is + # a temporary work-around until we fix this upstream in HiGHS. + MOI.set(model, MOI.RawOptimizerAttribute("presolve"), "off") # Slightly loosen tolerances, particularly for QP tests MOI.Test.runtests(model, MOI.Test.Config(; atol = 1e-7)) return @@ -238,7 +241,7 @@ function test_SimplexIterations_BarrierIterations() MOI.optimize!(model) @test MOI.get(model, MOI.SimplexIterations()) > 0 @test MOI.get(model, MOI.BarrierIterations()) == 0 - model = _knapsack_model(mip = false, solver = "ipm") + model = _knapsack_model(mip = false, solver = "") MOI.optimize!(model) # Not == 0 because HiGHS will use Simplex to clean-up occasionally @test MOI.get(model, MOI.SimplexIterations()) >= 0 @@ -852,7 +855,7 @@ function test_infeasible_point() MOI.add_constraint.(model, x, MOI.GreaterThan(0.0)) ci = MOI.add_constraint(model, x[1] + 2.0 * x[2], MOI.LessThan(-1.0)) MOI.set(model, MOI.RawOptimizerAttribute("presolve"), "off") - MOI.set(model, MOI.RawOptimizerAttribute("solver"), "ipm") + MOI.set(model, MOI.RawOptimizerAttribute("solver"), "") MOI.optimize!(model) @test MOI.get(model, MOI.TerminationStatus()) == MOI.INFEASIBLE @test MOI.get(model, MOI.PrimalStatus()) == MOI.INFEASIBLE_POINT