Skip to content

Certora Review

Certora Review #17

Annotations

2 warnings

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

succeeded Sep 10, 2024 in 6m 50s