Skip to content
Certora verification

consider non reverting when owner is already added or removed #77

Sign in to view logs

consider non reverting when owner is already added or removed

consider non reverting when owner is already added or removed #77

Triggered via pull request April 20, 2024 18:31
@wilsoncusackwilsoncusack
opened #63
wilson/non-revert-owner-changes
Status Failure
Total duration 2h 5m 47s
Artifacts –

certora.yml

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

Annotations

2 errors
verify (ERC4337Account, ERC4337Account.conf)
Process completed with exit code 1.
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
Process completed with exit code 1.