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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (ERC4337Account, ERC4337Account.conf --rule cantInitTwice)
2h 5m 12s
verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)
10m 10s
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
1h 42m 14s
3h 57m 36s