diff --git a/test/tools/ossfuzz/YulToEvmDifferentialFuzzer.cpp b/test/tools/ossfuzz/YulToEvmDifferentialFuzzer.cpp index 80859fff4..d8b918383 100644 --- a/test/tools/ossfuzz/YulToEvmDifferentialFuzzer.cpp +++ b/test/tools/ossfuzz/YulToEvmDifferentialFuzzer.cpp @@ -76,11 +76,6 @@ DEFINE_PROTO_FUZZER(Program const& _input) EVMHost hostContext(version, evmone); hostContext.reset(); - // Do not proceed with tests that are too large. 1200 is an arbitrary - // threshold. - if (yulSubObject.size() > 1200) - return; - YulStringRepository::reset(); // Package test case into a sub-object @@ -120,7 +115,10 @@ DEFINE_PROTO_FUZZER(Program const& _input) unoptimizedState, stackUnoptimized.parserResult()->code, EVMDialect::strictAssemblyForEVMObjects(version), - true + true, + 10000, + 10000, + 100 ); if (yulFuzzerUtil::resourceLimitsExceeded(termReason)) return; diff --git a/test/tools/ossfuzz/yulFuzzerCommon.h b/test/tools/ossfuzz/yulFuzzerCommon.h index 71411a708..b891034d0 100644 --- a/test/tools/ossfuzz/yulFuzzerCommon.h +++ b/test/tools/ossfuzz/yulFuzzerCommon.h @@ -23,9 +23,9 @@ namespace solidity::yul::test::yul_fuzzer struct yulFuzzerUtil { - enum class TerminationReason + enum class TerminationReason: size_t { - ExplicitlyTerminated, + ExplicitlyTerminated = 0, StepLimitReached, TraceLimitReached, ExpresionNestingLimitReached,