From cf662e9f91cedd6929e1e4997123978e6ac97a9e Mon Sep 17 00:00:00 2001 From: nisnislevi Date: Tue, 28 May 2024 13:53:36 +0300 Subject: [PATCH] fixed comments --- certora/specs/ccip.spec | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/certora/specs/ccip.spec b/certora/specs/ccip.spec index 3d7aa72d8a..e88cb8dab6 100644 --- a/certora/specs/ccip.spec +++ b/certora/specs/ccip.spec @@ -42,9 +42,7 @@ invariant currentBridge_LEQ_bridgeLimit() /* ============================================================================== rule: withdrawLiquidity_correctness - description: The rule checks that: - - only the rebalancer can call to withdrawLiquidity - - the balance of the contract is as expected. + description: The rule checks that the balance of the contract is as expected. ============================================================================*/ rule withdrawLiquidity_correctness(env e) { uint256 amount; @@ -60,9 +58,7 @@ rule withdrawLiquidity_correctness(env e) { /* ============================================================================== rule: provideLiquidity_correctness - description: The rule checks that: - - only the rebalancer can call to provideLiquidity - - the balance of the contract is as expected. + description: The rule checks that the balance of the contract is as expected. ============================================================================*/ rule provideLiquidity_correctness(env e) { uint256 amount; @@ -111,7 +107,7 @@ rule only_releaseOrMint_can_decrease_currentBridged(env e) { /* ============================================================================== - rule: only_releaseOrMint_can_deccrease_currentBridged + rule: only_bridgeLimitAdmin_or_owner_can_call_setBridgeLimit ============================================================================*/ rule only_bridgeLimitAdmin_or_owner_can_call_setBridgeLimit(env e) { uint256 newBridgeLimit;