Skip to content

for PR

for PR #42

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

succeeded Nov 18, 2024 in 5m 54s