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

Remove deprecated SMTChecker pragma.

Browse Source
This commit is contained in:
Bhargava Shastry 2021-04-30 12:22:18 +02:00
parent a115e61be6
commit 4b40b40bb6
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/tools/ossfuzz/SolidityGenerator.cpp
View File

@ -155,7 +155,9 @@ string SourceUnitGenerator::visit()
string PragmaGenerator::visit()
{
set<string> pragmas = uRandDist->subset(s_genericPragmas);
set<string> pragmas;
// Add preamble
pragmas.insert(string(s_preamble));
// Choose either abicoder v1 or v2 but not both.
pragmas.insert(s_abiPragmas[uRandDist->distributionOneToN(s_abiPragmas.size()) - 1]);
return boost::algorithm::join(pragmas, "\n") + "\n";

5
test/tools/ossfuzz/SolidityGenerator.h
View File

@ -749,10 +749,7 @@ public:
std::string visit() override;
std::string name() override { return "Pragma generator"; }
private:
std::set<std::string> const s_genericPragmas = {
R"(pragma solidity >= 0.0.0;)",
R"(pragma experimental SMTChecker;)",
};
static constexpr char const* s_preamble = R"(pragma solidity >= 0.0.0;)";
std::vector<std::string> const s_abiPragmas = {
R"(pragma abicoder v1;)",
R"(pragma abicoder v2;)"