From 1aa8141b149bab0a09567b3cf847ae728cf6716b Mon Sep 17 00:00:00 2001 From: teryanarmen Date: Mon, 6 Jun 2022 12:55:54 -0700 Subject: [PATCH] removed a assert failure message from an invariant in Initializable spec --- certora/specs/Initializable.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/Initializable.spec b/certora/specs/Initializable.spec index 063baee82..0adbad08c 100644 --- a/certora/specs/Initializable.spec +++ b/certora/specs/Initializable.spec @@ -38,7 +38,7 @@ definition isDisabled() returns bool = initialized() == 255; /// @description A contract must only ever be in an initializing state while in the middle of a transaction execution. invariant notInitializing() - !initializing(), "contract must not be initializing" + !initializing() //////////////////////////////////////////////////////////////////////////////