cerc-io/solidity
10
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: Increase step limit upper bound for optimized code

Browse Source
This commit is contained in:
Bhargava Shastry 2019-11-01 12:29:20 +01:00
parent 1eac3d1d83
commit 6a55949c04
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp
View File

@ -91,7 +91,7 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
os2,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion()),
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 1.5)
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 4)
);
bool isTraceEq = (os1.str() == os2.str());

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

@ -106,7 +106,7 @@ DEFINE_PROTO_FUZZER(Program const& _input)
os2,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(langutil::EVMVersion()),
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 1.5)
(yul::test::yul_fuzzer::yulFuzzerUtil::maxSteps * 4)
);
bool isTraceEq = (os1.str() == os2.str());