Skip to content

fix: Transfer excess back and reset allowance (#49) #8

fix: Transfer excess back and reset allowance (#49)

fix: Transfer excess back and reset allowance (#49) #8

Annotations

2 warnings

verify (verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokens...

succeeded Sep 19, 2024 in 11m 2s