From d25b1b5c88b8bd4f392097e208ed5388a5ec68f4 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 1 Oct 2019 23:14:50 +0200 Subject: [PATCH] Enable optimizer when compiling Soldity files --- mythril/ethereum/util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/ethereum/util.py b/mythril/ethereum/util.py index 0fd72dcb..a6e1d874 100644 --- 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(