Yul interpreter: Smaller execution timeout for tests and additional test cases

This commit is contained in:
Bhargava Shastry 2020-07-22 22:59:15 +02:00
parent 3862ceb528
commit 52c1b75f72

View File

@ -91,20 +91,14 @@ DEFINE_PROTO_FUZZER(Program const& _input)
ostringstream os1;
ostringstream os2;
yulFuzzerUtil::TerminationReason termReason = yulFuzzerUtil::interpret(
yulFuzzerUtil::interpret(
os1,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(version)
);
if (
termReason == yulFuzzerUtil::TerminationReason::StepLimitReached ||
termReason == yulFuzzerUtil::TerminationReason::TraceLimitReached
)
return;
stack.optimize();
termReason = yulFuzzerUtil::interpret(
yulFuzzerUtil::TerminationReason termReason = yulFuzzerUtil::interpret(
os2,
stack.parserResult()->code,
EVMDialect::strictAssemblyForEVMObjects(version)