logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

WIP

This commit is contained in:
r4bbit 2024-03-01 12:19:52 +01:00
parent 4aadca5d5e
commit 0b97125dae
No known key found for this signature in database
GPG Key ID: E95F1E9447DC91A9
1 changed files with 0 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
certora/specs/StakeManager.spec
View File

@ -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;