Skip to content

Certora squashed

Certora squashed #12

Annotations

2 warnings

verify (verifyERC4626Extended.conf --rule previewWithdrawRoundingRange previewRedeemRoundingRange...

succeeded Sep 9, 2024 in 12m 36s