Modify cmdline argument order

pull/1340/head
Bernhard Mueller 5 years ago
parent ddd0985253
commit 710001c42e
  1. 11
      mythril/interfaces/cli.py

@ -233,6 +233,11 @@ def main() -> None:
) )
create_pro_parser(pro_parser) create_pro_parser(pro_parser)
subparsers.add_parser(
"list-detectors",
parents=[output_parser],
help="Lists available detection modules",
)
read_storage_parser = subparsers.add_parser( read_storage_parser = subparsers.add_parser(
"read-storage", "read-storage",
help="Retrieves storage slots from a given address through rpc", help="Retrieves storage slots from a given address through rpc",
@ -251,11 +256,6 @@ def main() -> None:
subparsers.add_parser( subparsers.add_parser(
"version", parents=[output_parser], help="Outputs the version" "version", parents=[output_parser], help="Outputs the version"
) )
subparsers.add_parser(
"list-detectors",
parents=[output_parser],
help="Lists available detection modules",
)
create_read_storage_parser(read_storage_parser) create_read_storage_parser(read_storage_parser)
create_hash_to_addr_parser(contract_hash_to_addr) create_hash_to_addr_parser(contract_hash_to_addr)
create_func_to_hash_parser(contract_func_to_hash) create_func_to_hash_parser(contract_func_to_hash)
@ -770,6 +770,7 @@ def parse_args_and_execute(parser: ArgumentParser, args: Namespace) -> None:
:param args: The args :param args: The args
""" """
if args.epic: if args.epic:
path = os.path.dirname(os.path.realpath(__file__)) path = os.path.dirname(os.path.realpath(__file__))
sys.argv.remove("--epic") sys.argv.remove("--epic")

Loading…
Cancel
Save