Skip to content

fix: add _initGuard for proxy (#93) #103

fix: add _initGuard for proxy (#93)

fix: add _initGuard for proxy (#93) #103

Annotations

1 warning

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

succeeded Dec 16, 2024 in 10m 55s