From 6372eecee384ed0e0a730a07296fb507cdf5e42f Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 6 Jun 2019 13:24:21 +0200 Subject: [PATCH] Remove print statement --- mythril/laser/ethereum/strategy/custom.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/strategy/custom.py b/mythril/laser/ethereum/strategy/custom.py index 0b8bc7d8..a2284fa9 100644 --- a/mythril/laser/ethereum/strategy/custom.py +++ b/mythril/laser/ethereum/strategy/custom.py @@ -7,7 +7,7 @@ from copy import copy import logging -JUMPDEST_LIMIT = 2 +JUMPDEST_LIMIT = 1 log = logging.getLogger(__name__) @@ -63,7 +63,7 @@ class BFSBoundedLoopsStrategy(BreadthFirstSearchStrategy): annotation._jumpdest_count[target] = 1 if annotation._jumpdest_count[target] > JUMPDEST_LIMIT: - print("JUMPDEST limit reached, skipping JUMPI") + log.debug("JUMPDEST limit reached, skipping JUMPI") return self.work_list.pop(0) return state