NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rename valid → sanity

Browse Source
This commit is contained in:
Hadrien Croubois
2023-04-25 11:08:38 +02:00
parent 42580f2891
commit 5e71c01bcc
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
certora/specs/Governor.helpers.spec
View File

@ -19,11 +19,11 @@ function validProposal(address[] targets, uint256[] values, bytes[] calldatas) r
&& targets.length == calldatas.length;
}
function validString(string s) returns bool {
function sanityString(string s) returns bool {
return s.length < 0xffff;
}
function validBytes(bytes b) returns bool {
function sanityBytes(bytes b) returns bool {
return b.length < 0xffff;
}
@ -88,13 +88,13 @@ function helperVoteWithRevert(env e, method f, uint256 pId, address voter, uint8
else if (f.selector == castVoteWithReason(uint256,uint8,string).selector)
{
string reason;
require e.msg.sender == voter && validString(reason);
require e.msg.sender == voter && sanityString(reason);
return castVoteWithReason@withrevert(e, pId, support, reason);
}
else if (f.selector == castVoteWithReasonAndParams(uint256,uint8,string,bytes).selector)
{
string reason; bytes params;
require e.msg.sender == voter && validString(reason) && validBytes(params);
require e.msg.sender == voter && sanityString(reason) && sanityBytes(params);
return castVoteWithReasonAndParams@withrevert(e, pId, support, reason, params);
}
else

2
certora/specs/GovernorFunctions.spec
View File

@ -18,7 +18,7 @@ rule propose_liveness(uint256 pId, env e) {
address[] targets; uint256[] values; bytes[] calldatas; string descr;
require pId == hashProposal(targets, values, calldatas, descr);
//require validString(descr);
//require sanityString(descr);
propose@withrevert(e, targets, values, calldatas, descr);