Skip to content
Certora verification

Do not allow removeOwnerAtIndex to remove last owner, add function for removing last owner #26

Sign in to view logs

Do not allow removeOwnerAtIndex to remove last owner, add function for removing last owner

Do not allow removeOwnerAtIndex to remove last owner, add function for removing last owner #26

Triggered via pull request April 2, 2024 19:49
@wilsoncusackwilsoncusack
synchronize #43
wilson/last-owner-guard
Status Failure
Total duration 1h 8m 24s
Artifacts –

certora.yml

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

Annotations

1 error
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
Process completed with exit code 1.