more tests for split of Interval

JuliaReach · May 28, 2024 · bbf90a1 · bbf90a1
1 parent 7928b89
commit bbf90a1
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl
@@ -133,8 +133,11 @@ for N in [Float64, Float32, Rational{Int}]
     @test diameter(x) == diameter(x, Inf) == diameter(x, 2) == N(2)
 
     # split
-    @test split(x, 4) == [Interval(N(1), N(3 // 2)), Interval(N(3 // 2), N(2)),
-                          Interval(N(2), N(5 // 2)), Interval(N(5 // 2), N(3))]
+    intervals = [Interval(N(1), N(3 // 2)), Interval(N(3 // 2), N(2)),
+                 Interval(N(2), N(5 // 2)), Interval(N(5 // 2), N(3))]
+    @test split(x, 4) == split(x, [4]) == intervals
+    @test_throws AssertionError split(x, 0)
+    @test_throws AssertionError split(x, [4, 4])
 
     # concrete intersection
     A = Interval(N(5), N(7))