Merge pull request #3724 from JuliaReach/schillic/emptyset_test

Split tests for unary and binary `convex_hull`
JuliaReach · Dec 30, 2024 · 51cbaf8 · 51cbaf8
2 parents efdaaf3 + 742f057
commit 51cbaf8
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/test/Sets/EmptySet.jl b/test/Sets/EmptySet.jl
@@ -46,6 +46,10 @@ for N in [Float64, Rational{Int}, Float32]
     # constraints
     @test_throws MethodError constraints(E)  # TODO this should maybe change
 
+    # convex_hull (unary)
+    E2 = convex_hull(E)
+    @test E2 isa EmptySet{N} && dim(E2) == 2
+
     # copy
     E2 = copy(E)
     @test E2 isa EmptySet{N} && dim(E2) == 2
@@ -209,9 +213,7 @@ for N in [Float64, Rational{Int}, Float32]
         @test X isa EmptySet{N} && dim(X) == 5
     end
 
-    # convex_hull
-    E2 = convex_hull(E)
-    @test E2 isa EmptySet{N} && dim(E2) == 2
+    # convex_hull (binary)
     @test_throws AssertionError convex_hull(E, EmptySet{N}(3))
     E2 = convex_hull(E, E)
     @test E2 isa EmptySet{N} && dim(E2) == 2