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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (ERC4337Account, ERC4337Account.conf)
2h 5m 27s
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
2h 5m 37s
4h 11m 4s