Skip to content

Certora squashed

Certora squashed #12

Annotations

2 warnings

verify (verifyStataToken.conf --rule totalAssets_stable)

succeeded Sep 9, 2024 in 2m 18s