Change log level of debug msg

5 years ago · 42f2a5dede
parent a146a9a8cd
commit 42f2a5dede
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
@ -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