Skip to content

Certora Review

Certora Review #13

Annotations

2 warnings

verify (verifyStataToken.conf --rule getClaimableRewards_stable)

succeeded Sep 9, 2024 in 5m 18s