diff --git a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py index f312516c..74762c2a 100644 --- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py +++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py @@ -72,7 +72,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy): annotation._reached_count[address] = 1 if annotation._reached_count[address] > self.bound: - log.info("Loop bound reached, skipping state") + log.debug("Loop bound reached, skipping state") continue return state