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
94
94
95
95
@test 1.5 ∉ 0 .. 1
96
96
@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
101
102
x32 = nextfloat (rightendpoint (A))
102
103
x64 = nextfloat (Float64 (rightendpoint (A)))
103
104
@test x32 ∉ A
104
105
@test x32 ∈ B
105
106
@test x64 ∉ A
106
107
@test x64 ∉ B
107
- # these tests
108
- @test_broken x32 ∈ A ∪ B
109
- @test_broken x64 ∉ A ∪ B
110
108
111
109
@test J ⊆ L
112
110
@test (L ⊆ J) == false
You can’t perform that action at this time.
0 commit comments