Merge branch 'dynamic_timeout_presets' into berndtz_experimental

6 years ago · 23c085038f
parent 5fb3ac98c6 a63812b197
commit 23c085038f
1 changed files with 1 additions and 1 deletions
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@ -418,9 +418,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,