Skip to content

Certora squashed

Certora squashed #12

Annotations

2 warnings

verify (verifyERC4626.conf --rule maxMintMustntRevert maxDepositMustntRevert maxRedeemMustntRever...

succeeded Sep 9, 2024 in 7m 16s