Remove debugging code

7 years ago · ed0381b61e
parent 9c1a50ab57
commit ed0381b61e
1 changed files with 0 additions and 2 deletions
--- 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