From bc925328d4fae9ca3a3bc3ab7758ebc930ef33dc Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sat, 24 Nov 2018 09:30:42 +0700 Subject: [PATCH] Remove logging --- mythril/analysis/modules/suicide.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/mythril/analysis/modules/suicide.py b/mythril/analysis/modules/suicide.py index e973946a..eb355cec 100644 --- a/mythril/analysis/modules/suicide.py +++ b/mythril/analysis/modules/suicide.py @@ -66,15 +66,11 @@ class SuicideModule(DetectionModule): transaction_sequence = solver.get_transaction_sequence( state, constraints + [to == ARBITRARY_SENDER_ADDRESS] ) - logging.debug( - "[SUICIDE] To address can't be set. " + node.function_name - ) description = "The contract can be killed by anyone and the attacker can withdraw its balance." except UnsatError: transaction_sequence = solver.get_transaction_sequence( state, constraints ) - logging.debug("[SUICIDE] To address can be set. " + node.function_name) description = "The contract can be killed by anyone." debug = "Transaction Sequence: " + str(transaction_sequence)