Skip to content

Certora squashed

Certora squashed #12

Annotations

2 warnings

verify (verifyAToken.conf --rule aTokenBalanceIsFixed_for_collectAndUpdateRewards aTokenBalanceIs...

succeeded Sep 9, 2024 in 10m 37s