change test (new feature supported now)

JuliaReach · Nov 28, 2019 · 39c2831 · 39c2831
1 parent 698deed
commit 39c2831
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/test/unit_Universe.jl b/test/unit_Universe.jl
@@ -78,11 +78,8 @@ for N in [Float64, Rational{Int}, Float32]
     # subset
     res, w = ⊆(B, U, true)
     @test B ⊆ U && res && w == N[]
-    # TODO witness production currently not supported
-    @test_throws ErrorException (⊆(U, B, true))
-    # res, w = ⊆(U, B, true)
-    # @test U ⊈ B && !res && w ∉ B
-    @test U ⊈ B
+    res, w = ⊆(U, B, true)
+    @test U ⊈ B && !res && w ∉ B
     res, w = ⊆(U, U, true)
     @test U ⊆ U && res && w == N[]
 end