Skip to content
Certora verification

fix(ERC1271InputGenerator): fix code start with 0xef error by adding 0xff as first byte #97

Sign in to view logs

fix(ERC1271InputGenerator): fix code start with 0xef error by adding 0xff as first byte

fix(ERC1271InputGenerator): fix code start with 0xef error by adding 0xff as first byte #97

verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)

verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)
succeeded May 15, 2024 in 10m 10s