From 5833f52879e438422daad46741b2f821b42a6613 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Tue, 16 Nov 2021 18:32:38 +0200
Subject: [PATCH] Harness of castVoteWithReason to be able to impose
 requirement on the proposal ID

---
 certora/harnesses/GovernorHarness.sol | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/certora/harnesses/GovernorHarness.sol b/certora/harnesses/GovernorHarness.sol
index 225f488d5..56cee4afa 100644
--- a/certora/harnesses/GovernorHarness.sol
+++ b/certora/harnesses/GovernorHarness.sol
@@ -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);
     }
 }
\ No newline at end of file