Merge pull request #3685 from JuliaReach/schillic/emptyset_test

`EmptySet`: add missing test case
JuliaReach · Dec 20, 2024 · 2401b51 · 2401b51
2 parents 264de96 + 4cf7e6e
commit 2401b51
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/test/Sets/EmptySet.jl b/test/Sets/EmptySet.jl
@@ -129,7 +129,7 @@ for N in [Float64, Rational{Int}, Float32]
     @test res isa Vector{T} && isempty(res)
 
     # surface
-    res = area(E)
+    res = surface(E)
     @test res isa N && res == N(0)
 
     # vertices_list
@@ -299,6 +299,9 @@ for N in [Float64, Rational{Int}, Float32]
     @test B ⊈ E
     res, w = ⊆(B, E, true)
     @test !res && w isa Vector{N} && length(w) == 2 && w ∉ E && w ∈ B
+    @test Pe ⊆ E
+    res, w = ⊆(Pe, E, true)
+    @test res && w isa Vector{N} && w == N[]
 
     # linear_combination
     @test_throws AssertionError linear_combination(E, EmptySet{N}(3))