From f44e26fa7b0988072f591174e0de5e31c94dadaa Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 10 Mar 2023 16:55:37 +0100
Subject: [PATCH] disable wip specs

---
 certora/specs.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/specs.js b/certora/specs.js
index 7b1e0a034..3df135200 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -40,7 +40,7 @@ module.exports = [
     files: ['certora/harnesses/InitializableHarness.sol'],
   },
   ...product(
-    ['GovernorBase', 'GovernorInvariants', 'GovernorStates', 'GovernorFunctions'],
+    ['GovernorBase', 'GovernorInvariants', 'GovernorStates', /*'GovernorFunctions'*/],
     ['ERC20VotesBlocknumberHarness', 'ERC20VotesTimestampHarness'],
   ).map(([spec, token]) => ({
     spec,