fixed comments

Certora · May 28, 2024 · cf662e9 · cf662e9
1 parent 25e8b7d
commit cf662e9
Showing 1 changed file with 3 additions and 7 deletions.
diff --git 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;