bring back SDPA

JuliaReach · Mar 9, 2024 · b479536 · b479536
1 parent 5166aee
commit b479536
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 8 deletions.
diff --git a/src/algorithms.jl b/src/algorithms.jl
@@ -148,7 +148,7 @@ result of this algorithm is not rigorous.
 
 ### Examples
 
-```example
+```jldoctest
 julia> using SumOfSquares, SDPA, DynamicPolynomials
 
 julia> backend = SDPA.Optimizer;

diff --git a/test/multivariate.jl b/test/multivariate.jl
@@ -36,8 +36,7 @@ end
     # Note: DynamicPolynomials automatically expands p, and evaluation using
     # interval arithmetic gives a worse left bound than the factored expression.
 
-    if Sys.iswindows() || VERSION >= v"1.10"
-        # SDPA is broken on Windows or v1.10
+    if Sys.iswindows()  # SDPA is broken on Windows
         @test_broken begin
             x = enclose(p, dom, SumOfSquaresEnclosure(; backend=SDPA.Optimizer))
             isapprox(inf(x), 0.0; atol=1e-3)

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -1,8 +1,7 @@
 using Test, RangeEnclosures
 using AffineArithmetic, IntervalOptimisation, TaylorModels, SumOfSquares
 
-@static if Sys.iswindows() || VERSION >= v"1.10"
-    # SDPA is broken on Windows or v1.10
+@static if Sys.iswindows()  # SDPA is broken on Windows
     @test_broken using SDPA
 else
     using SDPA
@@ -21,7 +20,7 @@ include("univariate.jl")
 include("multivariate.jl")
 include("paper.jl")
 
-@static if !Sys.iswindows()  # broken due to SDPA
+@static if !Sys.iswindows()  # SDPA is broken on Windows
     using Documenter
     include("../docs/init.jl")
     @testset "doctests" begin

diff --git a/test/univariate.jl b/test/univariate.jl
@@ -50,8 +50,7 @@ end
     rleft, rright = relative_precision(x, xref)
     @test rleft ≤ 1e-5 && rright ≤ 1e-5
 
-    if Sys.iswindows() || VERSION >= v"1.10"
-        # SDPA is broken on Windows or v1.10
+    if Sys.iswindows()  # SDPA is broken on Windows
         @test_broken begin
             x = enclose(p, dom, SumOfSquaresEnclosure(; backend=SDPA.Optimizer))
             xref = interval(4.8333, 10.541)