Skip to content

refactor: reintroduce permissions #7

refactor: reintroduce permissions

refactor: reintroduce permissions #7

Annotations

2 warnings

verify (verifyERC4626MintDepositSummarization.conf --rule depositCheckIndexGRayAssert2 depositATo...

succeeded Sep 16, 2024 in 9m 54s