/
runtests.jl
80 lines (67 loc) · 2.53 KB
/
runtests.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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
using Test
using Cbc
using JuMP
using MIPVerify: set_log_level!
using MIPVerify: get_max_index, get_norm, get_default_tightening_options
@isdefined(TestHelpers) || include("TestHelpers.jl")
@testset "MIPVerify" begin
TestHelpers.reset_timer!()
set_log_level!("warn")
include("integration.jl")
include("net_components.jl")
include("utils.jl")
include("models.jl")
include("batch_processing_helpers.jl")
@testset "get_default_tightening_options" begin
@test get_default_tightening_options(() -> Cbc.Optimizer()) ==
Dict("logLevel" => 0, "seconds" => 20)
@test get_default_tightening_options(Cbc.Optimizer) ==
Dict("logLevel" => 0, "seconds" => 20)
@test get_default_tightening_options(() -> nothing) == Dict()
end
@testset "get_max_index" begin
@test_throws MethodError get_max_index([])
@test get_max_index([3]) == 1
@test get_max_index([3, 1, 4]) == 3
@test get_max_index([3, 1, 4, 1, 5, 9, 2]) == 6
end
@testset "get_norm" begin
@testset "real-valued arrays" begin
xs = [1, -2, 3]
@test get_norm(1, xs) == 6
@test get_norm(2, xs) == sqrt(14)
@test get_norm(Inf, xs) == 3
@test_throws DomainError get_norm(3, xs)
end
@testset "variable-valued arrays" begin
@testset "l1" begin
m = TestHelpers.get_new_model()
x1 = @variable(m, lower_bound = 1, upper_bound = 5)
x2 = @variable(m, lower_bound = -8, upper_bound = -2)
x3 = @variable(m, lower_bound = 3, upper_bound = 10)
xs = [x1, x2, x3]
n_1 = get_norm(1, xs)
n_2 = get_norm(2, xs)
n_inf = get_norm(Inf, xs)
@objective(m, Min, n_1)
optimize!(m)
@test JuMP.objective_value(m) ≈ 6
if Base.find_package("Gurobi") !== nothing
# Skip these tests if Gurobi is not installed.
# Cbc does not solve problems with quadratic objectives
@objective(m, Min, n_2)
optimize!(m)
@test JuMP.objective_value(m) ≈ 14
end
@objective(m, Min, n_inf)
optimize!(m)
@test JuMP.objective_value(m) ≈ 3
@test_throws DomainError get_norm(3, xs)
end
end
end
println()
TestHelpers.print_timer()
println()
println()
end