fix(EmergencyMode.spec): add YEAR view function

vacp2p · Dec 5, 2024 · 781c3ea · 781c3ea
1 parent d2b01a7
commit 781c3ea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/specs/EmergencyMode.spec b/certora/specs/EmergencyMode.spec
@@ -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 ||