unit tests

JuliaReach · Oct 14, 2018 · e5615f8 · e5615f8
1 parent d5cdefb
commit e5615f8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)
 
     # =================