disable wip specs

2023-03-10 16:55:37 +01:00
parent ec82e2f6fd
commit f44e26fa7b
1 changed files with 1 additions and 1 deletions
--- 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,