Check logger level before evaluating string in reachability_algorithm.py
@@ -352,6 +352,7 @@ class ReachabilityAlgorithm(ParameterizationAlgorithm):
x_next = xs[i] + 2 * deltas[i] * us[i]
x_next = max(x_next - TINY, 0.9999 * x_next)
xs[i + 1] = min(K[i + 1, 1], max(K[i + 1, 0], x_next))
+ if logger.isEnabledFor(logging.DEBUG):
logger.debug(
"[Forward pass] u[{:d}] = {:f}, x[{:d}] = {:f}".format(
i, us[i], i + 1, xs[i + 1]
