From 91b7d60301c065bbbb16d95c1d1ba720817aa0f7 Mon Sep 17 00:00:00 2001 From: Bhargava Shastry Date: Thu, 18 Feb 2021 10:48:49 +0100 Subject: [PATCH] Optimiser fuzzer: Disable reasoning based simplifier runs. --- test/libyul/YulOptimizerTestCommon.cpp | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/test/libyul/YulOptimizerTestCommon.cpp b/test/libyul/YulOptimizerTestCommon.cpp index c55179402..c8305eaa2 100644 --- a/test/libyul/YulOptimizerTestCommon.cpp +++ b/test/libyul/YulOptimizerTestCommon.cpp @@ -390,10 +390,16 @@ string YulOptimizerTestCommon::randomOptimiserStep(unsigned _seed) if (count == idx) { string optimiserStep = step.first; - // Do not fuzz mainFunction or wordSizeTransform + // Do not fuzz mainFunction and wordSizeTransform // because they do not preserve yul code semantics. - if (optimiserStep == "mainFunction" || optimiserStep == "wordSizeTransform") - // "Fullsuite" is fuzzed roughly three times more frequently than + // Do not fuzz reasoning based simplifier because + // it can sometimes drain memory. + if ( + optimiserStep == "mainFunction" || + optimiserStep == "wordSizeTransform" || + optimiserStep == "reasoningBasedSimplifier" + ) + // "Fullsuite" is fuzzed roughly four times more frequently than // other steps because of the filtering in place above. return "fullSuite"; else