/
mosek_tests.jl
32 lines (32 loc) · 1.53 KB
/
mosek_tests.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
include("solver_preamble.jl")
using MosekTools
# It cannot be used in Direct mode yet as it gets:
# MathOptInterface.DeleteNotAllowed{MathOptInterface.ConstraintIndex{MathOptInterface.VectorOfVariables,MathOptInterface.RotatedSecondOrderCone}}
# for `sdsos_bivariate_quadratic`
factory = with_optimizer(Mosek.Optimizer, QUIET=true)
config = MOI.Test.TestConfig(atol=1e-5, rtol=1e-5)
@testset "Linear" begin
Tests.linear_test(factory, config)
end
@testset "SOC" begin
Tests.soc_test(factory, config, String[
# FIXME MethodError: Cannot `convert` an object of type Nothing to an object of type MathOptInterface.VariableIndex
"sdsos_horn"
])
end
@testset "SDP" begin
Tests.sd_test(factory, config, [
# Expression: termination_status(model) == MOI.OPTIMAL
# Evaluated: MathOptInterface.SLOW_PROGRESS == MathOptInterface.OPTIMAL
# Expression: ≈(objective_value(model), α_value, atol=atol, rtol=rtol)
# Evaluated: 0.6847213936286884 ≈ 10.0 (atol=1.0e-5, rtol=1.0e-5)
"BPT12e399_maxdegree",
# FIXME AssertionError: m.x_type[ref2id(vi)] == Deleted
"maxcut", "sos_horn", "motzkin",
# Expression: JuMP.termination_status(model) == MOI.INFEASIBLE
# Evaluated: MathOptInterface.SLOW_PROGRESS == MathOptInterface.INFEASIBLE
# Contacted Mosek and they replied that there is nothing wrong as the
# PrimalStatus and DualStatus are correct
"quartic_infeasible_lyapunov_switched_system", "quartic_infeasible_scaled_lyapunov_switched_system"
])
end