Revert to debug log level

5 years ago · 577a4aec2f
parent 204e0c55b7
commit 577a4aec2f
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
+++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
@ -94,7 +94,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):
                return state

            elif annotation._reached_count[key] > self.bound:
-                log.info("Loop bound reached, skipping state")
+                log.debug("Loop bound reached, skipping state")
                continue

            return state