test for return status of 'remove_redundant_constraints'

JuliaReach · Sep 28, 2024 · 5709add · 5709add
1 parent fa3bcd3
commit 5709add
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 isempty(clist)
+            # constraints are contradictory
+            return false
+        end
         m = length(clist)
     end
     if m != 2