From 42f2a5dede79d1223b2512e45d6ec1ecffa73968 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 26 Jun 2019 11:10:55 +0200 Subject: [PATCH] Change log level of debug msg --- mythril/laser/ethereum/strategy/extensions/bounded_loops.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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