Skip to content

Certora Review

Certora Review #25

Annotations

2 warnings

verify (verifyStataToken.conf --rule singleAssetAccruedRewards)

succeeded Sep 23, 2024 in 13m 54s