From b0e57b2768280687d9b0bad34a13ed04a68ba164 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 3 Oct 2019 13:51:57 +0200 Subject: [PATCH] Enable optimizer when compiling Soldity files (#1226) --- 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(