Remove extra arg in cli.py that breaks callgraph generation

pull/757/head
Bernhard Mueller 6 years ago
parent 008e607d47
commit 67b9058a0a
  1. 1
      mythril/interfaces/cli.py

@ -385,7 +385,6 @@ def main():
max_depth=args.max_depth,
execution_timeout=args.execution_timeout,
create_timeout=args.create_timeout,
transaction_count=1,
)
try:

Loading…
Cancel
Save