use ispermutation (needs 1439)

JuliaReach · Jun 29, 2019 · 8417b43 · 8417b43
1 parent 6ed1ec5
commit 8417b43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/unit_Zonotope.jl b/test/unit_Zonotope.jl
@@ -219,6 +219,6 @@ for N in [Float64]
         # constraints_list for generator matrix with a zero row
         Z = Zonotope(N[0, 0], N[2 3; 0 0])
         P = tovrep(HPolygon(constraints_list(Z)))
-        @test vertices_list(P) ≈ [N[5, 0], [-5, 0]]
+        @test ispermutation(vertices_list(P), [N[5, 0], [-5, 0]])
     end
 end