cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #11550 from ethereum/runs-constant

Browse Source 
Constant for default --runs
This commit is contained in:
chriseth
2021-07-06 10:44:07 +02:00
committed by GitHub
parent 19b217dcf7 6ad6fa2382
commit 09578e7e22
10 changed files with 31 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/tools/fuzzer_common.cpp
+4 -2
View File
@@ -19,6 +19,7 @@
#include "libsolidity/formal/ModelCheckerSettings.h"
#include <test/tools/fuzzer_common.h>
#include <libsolidity/interface/OptimiserSettings.h>
#include <libsolidity/interface/CompilerStack.h>
#include <libsolutil/JSON.h>
@@ -34,9 +35,10 @@
using namespace std;
using namespace solidity;
using namespace solidity::util;
using namespace solidity::evmasm;
using namespace solidity::frontend;
using namespace solidity::langutil;
using namespace solidity::util;
static vector<EVMVersion> s_evmVersions = {
EVMVersion::homestead(),
@@ -62,7 +64,7 @@ void FuzzerUtil::testCompilerJsonInterface(string const& _input, bool _optimize,
config["settings"] = Json::objectValue;
config["settings"]["optimizer"] = Json::objectValue;
config["settings"]["optimizer"]["enabled"] = _optimize;
config["settings"]["optimizer"]["runs"] = 200;
config["settings"]["optimizer"]["runs"] = static_cast<int>(OptimiserSettings{}.expectedExecutionsPerDeployment);
config["settings"]["evmVersion"] = "berlin";
// Enable all SourceUnit-level outputs.