vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-09 21:18:01 -05:00
Code Issues Packages Projects Releases Wiki Activity

test(RewardsStreamerMP): fix EmergencyMode spec

Browse Source
This commit is contained in:
Andrea Franz
2024-12-03 11:53:32 +01:00
parent e52b6fcd08
commit c9c66fc154
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
certora/specs/EmergencyMode.spec
View File

@@ -12,7 +12,6 @@ definition isViewFunction(method f) returns bool = (
f.selector == sig:streamer.MIN_LOCKUP_PERIOD().selector ||
f.selector == sig:streamer.MAX_LOCKUP_PERIOD().selector ||
f.selector == sig:streamer.MAX_MULTIPLIER().selector ||
f.selector == sig:streamer.accountedRewards().selector ||
f.selector == sig:streamer.rewardIndex().selector ||
f.selector == sig:streamer.lastMPUpdatedTime().selector ||
f.selector == sig:streamer.owner().selector ||
@@ -23,7 +22,8 @@ definition isViewFunction(method f) returns bool = (
f.selector == sig:streamer.emergencyModeEnabled().selector ||
f.selector == sig:streamer.getStakedBalance(address).selector ||
f.selector == sig:streamer.getAccount(address).selector ||
f.selector == sig:streamer.getPendingRewards(address).selector ||
f.selector == sig:streamer.rewardsBalanceOf(address).selector ||
f.selector == sig:streamer.totalRewardsSupply().selector ||
f.selector == sig:streamer.calculateAccountRewards(address).selector
);
@@ -38,7 +38,7 @@ definition isTrustedCodehashAccessFunction(method f) returns bool = (
);
definition isInitializerFunction(method f) returns bool = (
f.selector == sig:streamer.initialize(address,address,address).selector
f.selector == sig:streamer.initialize(address,address).selector
);
definition isUUPSUpgradeableFunction(method f) returns bool = (