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

fix(EmergencyMode.spec): add YEAR() to isViewFunction

Browse Source
This commit is contained in:
Ricardo Guilherme Schmidt
2024-12-05 15:10:37 -03:00
committed by r4bbit
parent 204bdef3ca
commit 106ec98839
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
certora/specs/EmergencyMode.spec
View File

@@ -6,6 +6,7 @@ methods {
}
definition isViewFunction(method f) returns bool = (
f.selector == sig:streamer.YEAR().selector ||
f.selector == sig:streamer.STAKING_TOKEN().selector ||
f.selector == sig:streamer.SCALE_FACTOR().selector ||
f.selector == sig:streamer.MP_RATE_PER_YEAR().selector ||