From ed0381b61e5d3c6856083a3266d7f510544fc1a2 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 10 May 2018 17:33:17 +0700 Subject: [PATCH] Remove debugging code --- mythril/analysis/modules/integer.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index d72c9447..6efab284 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -29,9 +29,7 @@ def execute(statespace): node = statespace.nodes[k] for state in node.states: - logging.debug("Checking for integer underflow") issues += _check_integer_underflow(statespace, state, node) - logging.debug("Checking for integer overflow") issues += _check_integer_overflow(statespace, state, node) return issues