Enable optimizer when compiling Soldity files (#1226)

5 years ago · b0e57b2768
parent 43e3a58ec0
commit b0e57b2768
1 changed files with 1 additions and 1 deletions
--- a/mythril/ethereum/util.py
+++ b/mythril/ethereum/util.py
@ -33,7 +33,7 @@ def get_solc_json(file, solc_binary="solc", solc_settings_json=None):
    :param solc_settings_json:
    :return:
    """
-    cmd = [solc_binary, "--standard-json", "--allow-paths", "."]
+    cmd = [solc_binary, "--optimize", "--standard-json", "--allow-paths", "."]
    settings = json.loads(solc_settings_json) if solc_settings_json else {}
    settings.update(