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 (ERC4337AccountInv, ERC4337AccountInv.conf)

verify (ERC4337AccountInv, ERC4337AccountInv.conf)
succeeded May 15, 2024 in 1h 42m 14s