Fix a small bug in root nodes

Verified-Intelligence · Feb 14, 2023 · d2592c1 · d2592c1
1 parent 58ee1c1
commit d2592c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/auto_LiRPA/bound_general.py b/auto_LiRPA/bound_general.py
@@ -1263,7 +1263,7 @@ def compute_bounds(
                 # Use plain tuple defaulting to Linf perturbation.
                 root[i].interval = (value, value)
                 root[i].forward_value = root[i].value = value
-                root[i].lower = root[i].upper = value
+                root[i].center = root[i].lower = root[i].upper = value
 
             root[i].lower, root[i].upper = root[i].interval