From e83fdf0828814747fac5e645942554be51e95ca8 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Thu, 4 May 2023 11:32:39 +0200
Subject: [PATCH] trying to fix timeout

---
 certora/specs/GovernorStates.spec | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/certora/specs/GovernorStates.spec b/certora/specs/GovernorStates.spec
index 2b1746bd3..84b43b394 100644
--- a/certora/specs/GovernorStates.spec
+++ b/certora/specs/GovernorStates.spec
@@ -29,7 +29,12 @@ rule stateConsistency(env e, uint256 pId) {
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 rule stateTransitionFn(uint256 pId, env e, method f, calldataarg args)
-    filtered { f -> !assumedSafe(f) }
+    filtered { f -> !assumedSafe(f)
+        && f.selector != castVoteBySig(uint256,uint8,uint8,bytes32,bytes32).selector
+        && f.selector != castVoteWithReasonAndParams(uint256,uint8,string,bytes).selector
+        && f.selector != castVoteWithReason(uint256,uint8,string).selector
+        && f.selector != castVoteWithReasonAndParamsBySig(uint256,uint8,string,bytes,uint8,bytes32,bytes32).selector
+    }
 {
     require clockSanity(e);
     require quorumNumeratorLength() < max_uint256; // sanity