From 7912b1af7d99efd93b54f97756db7564c5f8f058 Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Thu, 16 Dec 2021 14:58:55 -0500
Subject: [PATCH] filtered out relay, since it is havocing

---
 certora/specs/GovernorBase.spec | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/certora/specs/GovernorBase.spec b/certora/specs/GovernorBase.spec
index 6fb527eee..031b2680e 100644
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@@ -281,6 +281,7 @@ rule allFunctionsRevertIfExecuted(method f) filtered { f ->
       && f.selector != updateTimelock(address).selector
       && f.selector != updateQuorumNumerator(uint256).selector
       && f.selector != queue(address[],uint256[],bytes[],bytes32).selector
+      && f.selector != relay(address,uint256,bytes).selector
       && f.selector != 0xb9a61961 // __acceptAdmin()
 } {
     env e; calldataarg args;
@@ -302,6 +303,7 @@ rule allFunctionsRevertIfCanceled(method f) filtered {
       && f.selector != updateTimelock(address).selector
       && f.selector != updateQuorumNumerator(uint256).selector
       && f.selector != queue(address[],uint256[],bytes[],bytes32).selector
+      && f.selector != relay(address,uint256,bytes).selector
       && f.selector != 0xb9a61961 // __acceptAdmin()
 } {
     env e; calldataarg args;