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

codespell

Browse Source
This commit is contained in:
Hadrien Croubois
2023-03-18 09:35:41 +01:00
parent 67a00ccaea
commit ecec8a7353
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/specs/GovernorBaseRules.spec
View File

@ -80,7 +80,7 @@ rule againstVotesDontCountTowardsQuorum(uint256 pId, env e)
assert quorumReached(pId) == quorumReachedBefore, "quorum must not be reached with an against vote";
}
/// This version is more exaustive, but to slow because "quorumReached" is a FV nightmare
/// This version is more exhaustive, but to slow because "quorumReached" is a FV nightmare
// rule againstVotesDontCountTowardsQuorum(uint256 pId, env e, method f)
// filtered { f -> voting(f) }
// {