From c0a257fa0c78020f7163059da71d2f8c10277464 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Mon, 15 Nov 2021 17:56:30 +0200
Subject: [PATCH] overriding castVoteWithReason

---
 certora/harnesses/GovernorHarness.sol | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/certora/harnesses/GovernorHarness.sol b/certora/harnesses/GovernorHarness.sol
index fce0c5c18..3491871f9 100644
--- 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);
+    }
 }
\ No newline at end of file