overriding castVoteWithReason

2021-11-15 17:56:30 +02:00
parent c6365ef868
commit c0a257fa0c
1 changed files with 10 additions and 0 deletions
--- a/certora/harnesses/GovernorHarness.sol
+++ b/certora/harnesses/GovernorHarness.sol
@ -104,4 +104,14 @@ contract GovernorHarness is Governor {
        bytes[] memory calldatas) public virtual returns (uint256) {
        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);
+        return super.castVoteWithReason(proposalId, support, reason);
+    }
 }