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

spacing

Browse Source
This commit is contained in:
Hadrien Croubois
2023-03-15 14:16:37 +01:00
parent 198c4b7728
commit 0874adbd1f
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/specs/helpers.spec
View File

@ -1,3 +1,3 @@
definition nonpayable(env e) returns bool = e.msg.value == 0; definition nonpayable(env e) returns bool = e.msg.value == 0;
definition max_uint48() returns uint48 = 0xffffffffffff; definition max_uint48() returns uint48 = 0xffffffffffff;

2
certora/specs/methods/IGovernor.spec
View File

@ -50,4 +50,4 @@ methods {
getAgainstVotes(uint256) returns uint256 envfree getAgainstVotes(uint256) returns uint256 envfree
getForVotes(uint256) returns uint256 envfree getForVotes(uint256) returns uint256 envfree
getAbstainVotes(uint256) returns uint256 envfree getAbstainVotes(uint256) returns uint256 envfree
} }