test for return status of 'remove_redundant_constraints'

JuliaReach · Aug 24, 2024 · ce72ee7 · ce72ee7
1 parent 0f2f894
commit ce72ee7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Sets/HPolyhedron/ishyperplanar.jl b/src/Sets/HPolyhedron/ishyperplanar.jl
@@ -6,6 +6,10 @@ function ishyperplanar(P::HPolyhedron)
     if m > 2
         # try to remove redundant constraints
         clist = remove_redundant_constraints(clist)
+        if isnothing(clist)
+            # constraints are contradictory
+            return false
+        end
         m = length(clist)
     end
     if m != 2