Skip to content

for PR

for PR #39

Annotations

1 error and 2 warnings

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

failed Nov 18, 2024 in 14s