From 6a55949c04906109e0bc92b227f4e5e3790a323c Mon Sep 17 00:00:00 2001 From: Bhargava Shastry Date: Fri, 1 Nov 2019 12:29:20 +0100 Subject: [PATCH] yul proto fuzzer: Increase step limit upper bound for optimized code --- test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp | 2 +- test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp b/test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp index 5b644812c..477189798 100644 --- a/test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp +++ b/test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp @@ -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()); diff --git a/test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp b/test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp index c6ae3b368..557073766 100644 --- a/test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp +++ b/test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp @@ -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());