Skip to content

Certora

Certora #23

Annotations

1 error and 2 warnings

verify (verifyStataToken.conf --rule rewardsTotalDeclinesOnlyByClaim)

failed Sep 17, 2024 in 39s