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

Disable SMT checker to silence memory leak reports from z3

Browse Source
This commit is contained in:
Bhargava Shastry 2021-05-12 11:09:43 +02:00
parent 4e171a8b61
commit 321e09b62f
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/tools/fuzzer_common.cpp
View File

@ -86,7 +86,7 @@ void FuzzerUtil::testCompiler(
StringMap& _input, StringMap& _input,
bool _optimize, bool _optimize,
unsigned _rand, unsigned _rand,
bool _forceSMT, bool ,
bool _compileViaYul bool _compileViaYul
) )
{ {
@ -97,16 +97,16 @@ void FuzzerUtil::testCompiler(
optimiserSettings = frontend::OptimiserSettings::standard(); optimiserSettings = frontend::OptimiserSettings::standard();
else else
optimiserSettings = frontend::OptimiserSettings::minimal(); optimiserSettings = frontend::OptimiserSettings::minimal();
if (_forceSMT) // if (_forceSMT)
{ // {
forceSMT(_input); // forceSMT(_input);
compiler.setModelCheckerSettings({ // compiler.setModelCheckerSettings({
frontend::ModelCheckerContracts::Default(), // frontend::ModelCheckerContracts::Default(),
frontend::ModelCheckerEngine::All(), // frontend::ModelCheckerEngine::All(),
frontend::ModelCheckerTargets::Default(), // frontend::ModelCheckerTargets::Default(),
/*timeout=*/1 // /*timeout=*/1
}); // });
} // }
compiler.setSources(_input); compiler.setSources(_input);
compiler.setEVMVersion(evmVersion); compiler.setEVMVersion(evmVersion);
compiler.setOptimiserSettings(optimiserSettings); compiler.setOptimiserSettings(optimiserSettings);