remove unhelpful log messages

6 years ago · 74a1a401d3
parent 2af841027c
commit 74a1a401d3
1 changed files with 0 additions and 1 deletions
--- a/mythril/analysis/solver.py
+++ b/mythril/analysis/solver.py
@ -94,7 +94,6 @@ def get_transaction_sequence(global_state, constraints):

    for d in model.decls():
        name = d.name()
-        logging.warn(d.name)

        if "call_value" in name:
            tx_id = name.replace("call_value", "")