diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index 6bad208a..e448a34b 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -63,7 +63,6 @@ def create_parser(parser: argparse.ArgumentParser) -> None: """ Creates the parser by setting all the possible arguments :param parser: The parser - :return: """ parser.add_argument("solidity_file", nargs="*") @@ -256,7 +255,6 @@ def parse_args(parser: argparse.ArgumentParser, args: argparse.Namespace) -> Non Parses the arguments :param parser: The parser :param args: The args - :return: """ if args.epic: path = os.path.dirname(os.path.realpath(__file__)) diff --git a/mythril/mythril/mythril_analyzer.py b/mythril/mythril/mythril_analyzer.py index 669ebbdb..6441eb3a 100644 --- a/mythril/mythril/mythril_analyzer.py +++ b/mythril/mythril/mythril_analyzer.py @@ -45,7 +45,7 @@ class MythrilAnalyzer: def dump_statespace( self, strategy: str, - contract: List[EVMContract] = None, + contract: EVMContract = None, address: Optional[str] = None, max_depth: Optional[int] = None, execution_timeout: Optional[int] = None, @@ -84,7 +84,7 @@ class MythrilAnalyzer: self, strategy: str, address: str, - contract: List[EVMContract] = None, + contract: EVMContract = None, max_depth: Optional[int] = None, enable_physics: bool = False, phrackify: bool = False,