@@ -165,6 +165,23 @@ function test_unbounded()
165165 return
166166end
167167
168+ function test_invalid_feasibility ()
169+ model = MOA. Optimizer (HiGHS. Optimizer)
170+ MOI. set (model, MOA. Algorithm (), MOA. Chalmet ())
171+ MOI. set (model, MOI. Silent (), true )
172+ x = MOI. add_variables (model, 2 )
173+ MOI. add_constraint .(model, x, MOI. GreaterThan (0.0 ))
174+ MOI. add_constraint (model, 1.0 * x[1 ] + 1.0 * x[2 ], MOI. LessThan (- 1.0 ))
175+ MOI. set (model, MOI. ObjectiveSense (), MOI. FEASIBILITY_SENSE)
176+ f = MOI. Utilities. operate (vcat, Float64, 1.0 .* x... )
177+ MOI. set (model, MOI. ObjectiveFunction {typeof(f)} (), f)
178+ MOI. optimize! (model)
179+ @test MOI. get (model, MOI. TerminationStatus ()) == MOI. INVALID_MODEL
180+ @test MOI. get (model, MOI. PrimalStatus ()) == MOI. NO_SOLUTION
181+ @test MOI. get (model, MOI. DualStatus ()) == MOI. NO_SOLUTION
182+ return
183+ end
184+
168185function test_infeasible ()
169186 model = MOA. Optimizer (HiGHS. Optimizer)
170187 MOI. set (model, MOA. Algorithm (), MOA. Chalmet ())
0 commit comments