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 (verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokens...

succeeded Dec 16, 2024 in 13m 3s