diff --git a/test/unit_Intersection.jl b/test/unit_Intersection.jl index ff3e45de19..826fe777c1 100644 --- a/test/unit_Intersection.jl +++ b/test/unit_Intersection.jl @@ -18,6 +18,9 @@ for N in [Float64, Rational{Int}, Float32] @test ∈(ones(N, 2), I) && !∈(N[5, 5], I) # emptiness of intersection + @test !isempty_known(I) + @test !isempty(I) + @test isempty_known(I) @test !isempty(I) # =================