check dimensionality in VPolygon constructor

JuliaReach · Nov 30, 2024 · cb8fec3 · cb8fec3
1 parent fd7ca92
commit cb8fec3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/Sets/VPolygon/VPolygon.jl b/src/Sets/VPolygon/VPolygon.jl
@@ -56,6 +56,7 @@ struct VPolygon{N,VN<:AbstractVector{N}} <: AbstractPolygon{N}
     function VPolygon(vertices::Vector{VN};
                       apply_convex_hull::Bool=true,
                       algorithm::String="monotone_chain") where {N,VN<:AbstractVector{N}}
+        @assert all(v -> length(v) == 2, vertices)
         if apply_convex_hull
             vertices = convex_hull(vertices; algorithm=algorithm)
         end

diff --git a/test/Sets/Polygon.jl b/test/Sets/Polygon.jl
@@ -52,6 +52,9 @@ for N in [Float64, Float32, Rational{Int}]
           constraints_list(HPolygonOpt(A, b)) ==
           [HalfSpace(N[2, 0], N(-1)), HalfSpace(N[1, 3], N(1))]
 
+    # constructor for V-rep
+    @test_throws AssertionError VPolygon([N[0, 0], N[1]])
+
     # conversion to optimized polygon
     po = convert(HPolygonOpt, p)
     # conversion back