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

RemovedInsertedBugForSumRule

Browse Source
This commit is contained in:
Aleksander Kryukov
2021-11-09 15:16:44 +02:00
committed by Aleksander Kryukov
parent 92744a195a
commit f8a54d2ae2
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/specs/GovernorBase.spec
View File

@ -147,7 +147,7 @@ rule immutableFieldsAfterProposalCreation(uint256 pId, method f) {
}
/**
* Check if it's possible to vote two time. Relevant to GovernorCountingSimpleHarness.sol contract
* A user cannot vote twice
*/
rule doubleVoting(uint256 pId, uint8 sup) {
env e;