From 0b97125daeb3095c53f7a984bbd77562edf72c30 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Fri, 1 Mar 2024 12:19:52 +0100
Subject: [PATCH] WIP

---
 certora/specs/StakeManager.spec | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/certora/specs/StakeManager.spec b/certora/specs/StakeManager.spec
index 819b13b..68cc43d 100644
--- a/certora/specs/StakeManager.spec
+++ b/certora/specs/StakeManager.spec
@@ -107,19 +107,6 @@ rule revertsWhenNoMigration(method f) {
   assert isMigrationfunction(f) => reverted;
 }
 
-// This rule is commented out as it's just a helper rule to easily see which
-// functions change the balance of the `StakeManager` contract.
-//
-// rule whoChangeERC20Balance(  method f ) filtered { f -> f.contract != staked }
-// {
-//   address user;
-//   uint256 before = staked.balanceOf(user);
-//   calldataarg args;
-//   env e;
-//   f(e,args);
-//   assert before == staked.balanceOf(user);
-// }
-
 rule epochOnlyIncreases {
   method f;
   env e;