Init config dir (#1595)

Author: norhh

mythril/interfaces/cli.py

@@ -977,6 +977,7 @@ def parse_args_and_execute(parser: ArgumentParser, args: Namespace) -> None:
         sys.exit()
 
     if args.command in CONCOLIC_LIST:
+        _ = MythrilConfig.init_mythril_dir()
         with open(args.input) as f:
             concrete_data = json.load(f)
         output_list = concolic_execution(

mythril/mythril/mythril_config.py

@@ -22,7 +22,7 @@ class MythrilConfig:
 
     def __init__(self):
         self.infura_id = os.getenv("INFURA_ID")  # type: str
-        self.mythril_dir = self._init_mythril_dir()
+        self.mythril_dir = self.init_mythril_dir()
         self.config_path = os.path.join(self.mythril_dir, "config.ini")
         self._init_config()
         self.eth = None  # type: Optional[EthJsonRpc]
@@ -31,7 +31,7 @@ def set_api_infura_id(self, id):
         self.infura_id = id
 
     @staticmethod
-    def _init_mythril_dir() -> str:
+    def init_mythril_dir() -> str:
         """
         Initializes the mythril dir and config.ini file
         :return: The mythril dir's path