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(