Skip to content

Certora Review

Certora Review #25

Annotations

2 warnings

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

succeeded Sep 23, 2024 in 11m 38s