@@ -165,6 +165,23 @@ function test_unbounded()
165
165
return
166
166
end
167
167
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
+
168
185
function test_infeasible ()
169
186
model = MOA. Optimizer (HiGHS. Optimizer)
170
187
MOI. set (model, MOA. Algorithm (), MOA. Chalmet ())
0 commit comments