add feasibility tests

Author: joaquimg

test/feasibility.jl

@@ -250,7 +250,8 @@ function test_analyse_mip()
 
     @test length(list) == 0
 
-    ModelAnalyzer.summarize(data)
+    buf = IOBuffer()
+    ModelAnalyzer.summarize(buf, data)
 
     buf = IOBuffer()
     Base.show(buf, data)
@@ -340,9 +341,11 @@ function test_analyse_no_opt()
     ret = ModelAnalyzer.list_of_issues(data, list[4])
     @test ret[1] == ModelAnalyzer.Feasibility.PrimalDualMismatch(-1.0, 0.0)
 
-    ModelAnalyzer.summarize(data)
+    buf = IOBuffer()
+
+    ModelAnalyzer.summarize(buf, data)
 
-    ModelAnalyzer.summarize(data, verbose = false)
+    ModelAnalyzer.summarize(buf, data, verbose = false)
 
     return
 end

test/numerical.jl

@@ -25,19 +25,33 @@ function test_linear()
     @variable(model, x <= 2e9)
     @variable(model, y >= 3e-9)
     @variable(model, z == 4e-9)
+    @variable(model, w[1:1] in MOI.Nonnegatives(1))
+    @variable(model, u[1:1])
     @constraint(model, x + y <= 4e8)
     @constraint(model, x + y + 5e7 <= 2)
     @constraint(model, 7e6 * x + 6e-15 * y + 2e-12 >= 0)
     @constraint(model, x <= 100)
-    @constraint(model, 0 * x <= 100)
+    @constraint(model, x <= 1e-17)
+    @constraint(model, x >= 1e+18)
+    @constraint(model, x == 1e+19)
+    @constraint(model, x == 1e-20)
+    @constraint(model, 1e-21 <= x <= 1e-22)
+    @constraint(model, 1e+23 <= x <= 1e+24)
+    @constraint(model, [1.0 * x] in MOI.Nonnegatives(1))
+    @constraint(model, [1.0 * x * x] in MOI.Nonnegatives(1))
+    @constraint(model, [u] in MOI.Nonnegatives(1))
+
     @objective(model, Max, 1e8 * x + 8e-11 * y)
 
     data = ModelAnalyzer.analyze(ModelAnalyzer.Numerical.Analyzer(), model)
 
-    ret = sprint(show, data)
-    print(ret)
+    buf = IOBuffer()
+    Base.show(buf, data)
+    str = String(take!(buf))
 
-    ModelAnalyzer.summarize(data)
+    buf = IOBuffer()
+    ModelAnalyzer.summarize(buf, data)
+    ModelAnalyzer.summarize(buf, data, verbose = false)
 
     return
 end
@@ -59,10 +73,13 @@ function test_nonconvex_qp()
 
     data = ModelAnalyzer.analyze(ModelAnalyzer.Numerical.Analyzer(), model)
 
-    ret = sprint(show, data)
-    print(ret)
+    buf = IOBuffer()
+    Base.show(buf, data)
+    str = String(take!(buf))
 
-    ModelAnalyzer.summarize(data)
+    buf = IOBuffer()
+    ModelAnalyzer.summarize(buf, data)
+    ModelAnalyzer.summarize(buf, data, verbose = false)
 
     return
 end
@@ -74,10 +91,15 @@ function test_dense()
 
     data = ModelAnalyzer.analyze(ModelAnalyzer.Numerical.Analyzer(), model)
 
-    ret = sprint(show, data)
-    print(ret)
+    buf = IOBuffer()
+    Base.show(buf, data)
+    str = String(take!(buf))
+
+    buf = IOBuffer()
+    ModelAnalyzer.summarize(buf, data)
+    ModelAnalyzer.summarize(buf, data, verbose = false)
 
-    return ModelAnalyzer.summarize(data)
+    return
 end
 
 function test_qp_range()
@@ -89,10 +111,15 @@ function test_qp_range()
 
     data = ModelAnalyzer.analyze(ModelAnalyzer.Numerical.Analyzer(), model)
 
-    ret = sprint(show, data)
-    print(ret)
+    buf = IOBuffer()
+    Base.show(buf, data)
+    str = String(take!(buf))
 
-    return ModelAnalyzer.summarize(data)
+    buf = IOBuffer()
+    ModelAnalyzer.summarize(buf, data)
+    ModelAnalyzer.summarize(buf, data, verbose = false)
+
+    return
 end
 
 end  # module