File tree Expand file tree Collapse file tree 1 file changed +5
-7
lines changed
Expand file tree Collapse file tree 1 file changed +5
-7
lines changed Original file line number Diff line number Diff line change @@ -94,19 +94,17 @@ struct IncompleteInterval <: AbstractInterval{Int} end
9494
9595 @test 1.5 ∉ 0 .. 1
9696 @test 1.5 ∉ 2 .. 3
97- @test_broken (0 .. 1 ) ∪ (2 .. 3 ) ≠ 0 .. 3
98- # even though A and B contain all Float32s between their extrema,
99- # union should not return an interval as there exists a Float64
100- # inbetween
97+ # Throw error if the union is not an interval.
98+ @test_throws ArgumentError (0 .. 1 ) ∪ (2 .. 3 )
99+ # Even though A and B contain all Float16s between their extrema,
100+ # union should not defined because there exists a Float64 inbetween.
101+ @test_throws ArgumentError A ∪ B
101102 x32 = nextfloat (rightendpoint (A))
102103 x64 = nextfloat (Float64 (rightendpoint (A)))
103104 @test x32 ∉ A
104105 @test x32 ∈ B
105106 @test x64 ∉ A
106107 @test x64 ∉ B
107- # these tests
108- @test_broken x32 ∈ A ∪ B
109- @test_broken x64 ∉ A ∪ B
110108
111109 @test J ⊆ L
112110 @test (L ⊆ J) == false
You can’t perform that action at this time.
0 commit comments