From 6d28aec3e00460536028392ae83d1708f4821435 Mon Sep 17 00:00:00 2001 From: Hristo Grigorov Date: Thu, 12 Sep 2024 17:13:33 +0300 Subject: [PATCH] updating invariant to match variable name update --- certora/specs/SafeToL2Setup.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/SafeToL2Setup.spec b/certora/specs/SafeToL2Setup.spec index e86888f2c..71ba19c23 100644 --- a/certora/specs/SafeToL2Setup.spec +++ b/certora/specs/SafeToL2Setup.spec @@ -4,7 +4,7 @@ using SafeMock as SafeMock; // _SELF is always the current contract // if the "rule_sanity": "basic" flag is enabled this rule would fail sanity check invariant _SELFisAlwaysCurrentContract() - SafeToL2Setup._SELF == SafeToL2Setup; + SafeToL2Setup.SELF == SafeToL2Setup; // all the non-view functions will revert when called directly (only delegateCall is allowed)