test function with both clocks

2023-03-18 21:53:17 +01:00
parent 7c62ed2e8a
commit 8d029476af
1 changed files with 2 additions and 2 deletions
--- a/certora/specs.js
+++ b/certora/specs.js
@ -80,8 +80,8 @@ module.exports = [].concat(
  product(
    ['GovernorHarness'],
    ['GovernorFunctions'],
-    ['ERC20VotesBlocknumberHarness'], // 'ERC20VotesTimestampHarness'
-    ['castVote', 'execute'], // 'propose', 'queue', 'cancel' // timeout
+    ['ERC20VotesBlocknumberHarness', 'ERC20VotesTimestampHarness'],
+    ['castVote', 'execute'], // 'propose', 'queue', 'cancel' // these rules timeout/fail
  ).map(([contract, spec, token, fn]) => ({
    spec,
    contract,