Skip to content

Certora Review

Certora Review #28

Annotations

2 warnings

verify (verifyStataToken.conf --rule solvency_positive_total_supply_only_if_positive_asset)

succeeded Sep 23, 2024 in 11m 4s