diff --git a/certora/specs/ccip.spec b/certora/specs/ccip.spec index 69fd216f3b..3d7aa72d8a 100644 --- a/certora/specs/ccip.spec +++ b/certora/specs/ccip.spec @@ -54,7 +54,6 @@ rule withdrawLiquidity_correctness(env e) { withdrawLiquidity(e, amount); uint256 bal_after = erc20.balanceOf(e, currentContract); - // assert e.msg.sender == getRebalancer(); assert (to_mathint(bal_after) == bal_before - amount); } @@ -73,7 +72,6 @@ rule provideLiquidity_correctness(env e) { provideLiquidity(e, amount); uint256 bal_after = erc20.balanceOf(e, currentContract); - // assert e.msg.sender == getRebalancer(); assert (to_mathint(bal_after) == bal_before + amount); }