Merge pull request #2958 from JuliaReach/schillic/2952

#2952 - Bring back formerly broken Symbolics test
JuliaReach · Apr 11, 2022 · 393e67c · 393e67c
2 parents fd40cea + d507a4b
commit 393e67c
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/test/Sets/Hyperplane.jl b/test/Sets/Hyperplane.jl
@@ -200,11 +200,6 @@ for N in [Float64]
 
         # test passing a combination of operations
         vars = @variables x[1:2] t
-        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
+        @test Hyperplane(x[1] == t, vars) == Hyperplane([1.0, 0.0, -1.0], 0.0)
     end
 end