cerc-io/solidity
16
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 #7893 from ethereum/yulprotofuzzer-use-default-evm

Browse Source 
yul proto fuzzer: Target upcoming evm version
This commit is contained in:
chriseth 2019-12-11 17:02:43 +01:00 committed by GitHub
commit b46f4f8adf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp
View File

@ -69,7 +69,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
// AssemblyStack entry point
AssemblyStack stack(
langutil::EVMVersion::istanbul(),
langutil::EVMVersion::berlin(),
AssemblyStack::Language::StrictAssembly,
dev::solidity::OptimiserSettings::full()
);
@ -87,7 +87,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
yulFuzzerUtil::TerminationReason termReason = yulFuzzerUtil::interpret(
os1,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::istanbul())
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::berlin())
);
if (termReason == yulFuzzerUtil::TerminationReason::StepLimitReached)
@ -97,7 +97,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
termReason = yulFuzzerUtil::interpret(
os2,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::istanbul()),
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::berlin()),
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 4)
);