Merge pull request #2953 from JuliaReach/compathelper/new_version/2022-03-25-00-38-00-395-00921216336

CompatHelper: bump compat for JuMP to 1, (keep existing compat)

Author: schillic

Project.toml

@@ -22,7 +22,7 @@ SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 ExprTools = "0.1"
 GLPK = "0.11 - 0.15, 1"
 IntervalArithmetic = "0.15 - 0.20"
-JuMP = "0.21 - 0.23"
+JuMP = "0.21 - 0.23, 1"
 RecipesBase = "0.6 - 0.8, 1"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"

test/Approximations/overapproximate.jl

@@ -161,9 +161,10 @@ for N in [Float64, Float32]
     end
 
     # static vectors
-    b = BallInf(SVector{2}(N[1, 0]), N(1))
-    p = overapproximate(b, ε)
-    @test isequivalent(b, p)
+    # temporarily deactivated, see #2954
+#     b = BallInf(SVector{2}(N[1, 0]), N(1))
+#     p = overapproximate(b, ε)
+#     @test isequivalent(b, p)
 
     # Check that there are no redundant constraints for a ballinf
     b = BallInf(N[0.5, 0.5], N(0.1))

test/Sets/Hyperplane.jl

@@ -200,6 +200,11 @@ for N in [Float64]
 
         # test passing a combination of operations
         vars = @variables x[1:2] t
-        @test Hyperplane(x[1] == t, vars) == Hyperplane([1.0, 0.0, -1.0], 0.0)
+        if VERSION < v"1.6"
+            @test Hyperplane(x[1] == t, vars) == Hyperplane([1.0, 0.0, -1.0], 0.0)
+        else
+            # temporarily broken in Symbolics (https://github.com/JuliaSymbolics/Symbolics.jl/issues/559)
+            @test_throws ErrorException Hyperplane(x[1] == t, vars)
+        end
     end
 end