fix input for linprog

JuliaReach · Jan 29, 2022 · a3b879e · a3b879e
1 parent 6dc3079
commit a3b879e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Approximations/overapproximate.jl b/src/Approximations/overapproximate.jl
@@ -1545,8 +1545,9 @@ function _overapproximate_zonotope_vrep(X::LazySet{N},
         end
         col_offset_b += m
     end
-    lower_bounds = vcat(zeros(N, l), fill(N(-Inf), nvariables - l))
-    lp = linprog(obj, A, sense, b, lower_bounds, Inf, solver)
+    lbounds = vcat(zeros(N, l), fill(N(-Inf), nvariables - l))
+    ubounds = fill(Inf, nvariables)
+    lp = linprog(obj, A, sense, b, lbounds, ubounds, solver)
 
     if !is_lp_optimal(lp.status)
         error("got unexpected status from LP solver: $(lp.status)")