From 78744e1d698763d20b3f4f69f84065208a2a7a67 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 26 Jun 2019 16:03:00 +0200 Subject: [PATCH] Remove verbose_report arg --- mythril/interfaces/old_cli.py | 6 ------ 1 file changed, 6 deletions(-) diff --git a/mythril/interfaces/old_cli.py b/mythril/interfaces/old_cli.py index 4c9d4222..0157c2b7 100644 --- a/mythril/interfaces/old_cli.py +++ b/mythril/interfaces/old_cli.py @@ -148,11 +148,6 @@ def create_parser(parser: argparse.ArgumentParser) -> None: help="report output format", metavar="", ) - outputs.add_argument( - "--verbose-report", - action="store_true", - help="Include debugging information in report", - ) database = parser.add_argument_group("local contracts database") database.add_argument( @@ -460,7 +455,6 @@ def execute_command( modules=[m.strip() for m in args.modules.strip().split(",")] if args.modules else [], - verbose_report=args.verbose_report, transaction_count=args.transaction_count, ) outputs = {