From a63812b197ceb803ca080541c27e888fdda39359 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 9 Jun 2019 18:30:16 +0200 Subject: [PATCH] Move debug line to the right position --- mythril/interfaces/cli.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index c54cc250..1e4d8f99 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -411,9 +411,9 @@ def execute_command( timeout = dynamic_timeout.get_timeout( len(disassembler.contracts[0].creation_code), args.dynamic_timeout ) + log.info("Execution timeout set dynamically: {}s".format(timeout)) else: timeout = args.execution_timeout - log.debug("Set dynamic execution timeout: {}".format(timeout)) analyzer = MythrilAnalyzer( strategy=args.strategy,