Merge pull request #3666 from JuliaReach/schillic/in_emptyset

Assertion in `in` for `EmptySet`

src/Sets/EmptySet/in.jl

@@ -1,3 +1,5 @@
-function ∈(::AbstractVector, ::EmptySet)
+function ∈(v::AbstractVector, ∅::EmptySet)
+    @assert length(v) == dim(∅) "the dimensions should match, but they are $(length(v)) and " *
+                                "$(dim(∅)), respectively"
     return false
 end

src/Sets/EmptySet/isapprox.jl

@@ -1,5 +1,5 @@
 function ≈(∅₁::EmptySet, ∅₂::EmptySet)
     @assert dim(∅₁) == dim(∅₂) "the dimensions of the given sets should match, " *
-                             "but they are $(dim(∅₁)) and $(dim(∅₂)), respectively"
+                               "but they are $(dim(∅₁)) and $(dim(∅₂)), respectively"
     return true
 end

test/Sets/EmptySet.jl

@@ -23,7 +23,7 @@ for N in [Float64, Rational{Int}, Float32]
     @test !isuniversal(E) && !res && w ∉ E
 
     # membership
-    @test N[0] ∉ E
+    @test_throws AssertionError N[0] ∈ E
     @test N[0, 0] ∉ E
 
     # subset