Skip to content

Certora Review

Certora Review #18

Annotations

2 warnings

verify (verifyStataToken.conf --rule rewardsConsistencyWhenSufficientRewardsExist)

succeeded Sep 10, 2024 in 5m 51s