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

yul proto fuzzer: Target default evm version

Browse Source
This commit is contained in:
Bhargava Shastry 2019-12-04 13:13:35 +01:00
parent 6fd2d05706
commit f5bd483dfa
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 entry point
AssemblyStack stack( AssemblyStack stack(
langutil::EVMVersion::istanbul(), langutil::EVMVersion::berlin(),
AssemblyStack::Language::StrictAssembly, AssemblyStack::Language::StrictAssembly,
dev::solidity::OptimiserSettings::full() dev::solidity::OptimiserSettings::full()
); );
@ -87,7 +87,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
yulFuzzerUtil::TerminationReason termReason = yulFuzzerUtil::interpret( yulFuzzerUtil::TerminationReason termReason = yulFuzzerUtil::interpret(
os1, os1,
stack.parserResult()->code, stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::istanbul()) EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::berlin())
); );
if (termReason == yulFuzzerUtil::TerminationReason::StepLimitReached) if (termReason == yulFuzzerUtil::TerminationReason::StepLimitReached)
@ -97,7 +97,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
termReason = yulFuzzerUtil::interpret( termReason = yulFuzzerUtil::interpret(
os2, os2,
stack.parserResult()->code, stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::istanbul()), EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion::berlin()),
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 4) (yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 4)
); );