Skip to content

Certora Review

Certora Review #33

Annotations

2 warnings

verify (verifyStataToken.conf --rule getClaimableRewardsBefore_leq_claimed_claimRewardsOnBehalf)

succeeded Oct 6, 2024 in 2m 39s