test for return status of 'remove_redundant_constraints'

JuliaReach · Jul 26, 2024 · dc1fe2f · dc1fe2f
1 parent 69093bd
commit dc1fe2f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Sets/HPolyhedron/is_hyperplanar.jl b/src/Sets/HPolyhedron/is_hyperplanar.jl
@@ -6,6 +6,10 @@ function is_hyperplanar(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