Skip to content
Certora verification

Owner associated with an owner index outside of the expected bounds should be considered invalid #135

Sign in to view logs

Owner associated with an owner index outside of the expected bounds should be considered invalid

Owner associated with an owner index outside of the expected bounds should be considered invalid #135

Triggered via pull request September 10, 2025 20:31
@hieronymus777hieronymus777
opened #125
hieronymus777:alex/feature/eip7702-owner-index-check
Status Failure
Total duration 1m 20s
Artifacts –

certora.yml

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

Annotations

3 errors
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
Process completed with exit code 1.
verify (ERC4337Account, ERC4337Account.conf --rule cantInitTwice)
Process completed with exit code 1.
verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)
Process completed with exit code 1.