From a97d3f5ce9bbb58e988b0d7b7929386d3b68da65 Mon Sep 17 00:00:00 2001 From: Hadrien Croubois Date: Thu, 4 May 2023 17:26:16 +0200 Subject: [PATCH] codespell --- certora/specs/GovernorStates.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/GovernorStates.spec b/certora/specs/GovernorStates.spec index 6baba699b..2aa7bbcb4 100644 --- a/certora/specs/GovernorStates.spec +++ b/certora/specs/GovernorStates.spec @@ -58,7 +58,7 @@ rule stateTransitionFn(uint256 pId, env e, method f, calldataarg args) └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘ */ // The timelockId can be set in states QUEUED, EXECUTED and CANCELED. However, checking the full scope of this results -// in a timeout. This is a weaker version that is still usefull +// in a timeout. This is a weaker version that is still useful invariant noTimelockBeforeEndOfVote(env e, uint256 pId) state(e, pId) == ACTIVE() => timelockId(pId) == 0