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

rule drafts

Browse Source
This commit is contained in:
Shelly Grossman
2021-10-07 11:58:47 +03:00
committed by Aleksander Kryukov
parent a0cb8cd446
commit ea6baf2220
2 changed files with 73 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
certora/harnesses/GovernorHarness.sol
View File

@ -15,12 +15,12 @@ contract GovernorHarness is Governor {
}
mapping (uint256 => bool) __quoromReached;
function _quorumReached(uint256 proposalId) internal view override virtual returns (bool) {
function _quorumReached(uint256 proposalId) public view override virtual returns (bool) {
return __quoromReached[proposalId];
}
mapping (uint256 => bool) __voteSucceeded;
function _voteSucceeded(uint256 proposalId) internal view override virtual returns (bool) {
function _voteSucceeded(uint256 proposalId) public view override virtual returns (bool) {
return __voteSucceeded[proposalId];
}