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

Harness of castVoteWithReason to be able to impose requirement on the proposal ID

Browse Source
This commit is contained in:
Michael M
2021-11-16 18:32:38 +02:00
parent a16eaebb25
commit 5833f52879
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
certora/harnesses/GovernorHarness.sol
View File

@ -109,13 +109,12 @@ contract GovernorHarness is Governor {
return super.propose(targets, values, calldatas, "");
}
uint256 public proposalid_global;
uint8 public support_global;
function castVoteWithReason(uint256 proposalId,
uint8 support, string calldata reason) public virtual override returns (uint256){
require(proposalId == proposalid_global);
require(support == support_global);
// Harness of castVoteWithReason to be able to impose requirement on the proposal ID.
uint256 public _pId_Harness;
function castVoteWithReason(uint256 proposalId, uint8 support, string calldata reason)
public override returns (uint256) {
require(proposalId == _pId_Harness);
return super.castVoteWithReason(proposalId, support, reason);
}
}