cerc-io/solidity
11
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

Unify solc fuzzers.

Browse Source
This commit is contained in:
Bhargava Shastry
2021-02-08 11:14:38 +01:00
parent a39aae8604
commit 2f001bb91c
6 changed files with 40 additions and 114 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/tools/fuzzer_common.h
+2 -1
View File
@@ -41,7 +41,8 @@ struct FuzzerUtil
solidity::StringMap& _input,
bool _optimize,
unsigned _rand,
bool _forceSMT
bool _forceSMT,
bool _compileViaYul
);
/// Adds the experimental SMTChecker pragma to each source file in the
/// source map.