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

Triggered via pull request May 15, 2024 18:37
@xenolissxenoliss
opened #71
baptiste/fix-erc-1271-input-generator
Status Success
Total duration 2h 5m 23s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in