Skip to content

Merge pull request #87 from bgd-labs/v3.3.0 #155

Merge pull request #87 from bgd-labs/v3.3.0

Merge pull request #87 from bgd-labs/v3.3.0 #155

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

succeeded Feb 24, 2025 in 11m 21s