Skip to content
Certora verification

Update executeWithoutChainIdValidation to accept an array of calls #46

Sign in to view logs

Update executeWithoutChainIdValidation to accept an array of calls

Update executeWithoutChainIdValidation to accept an array of calls #46

Annotations

1 error

verify (ERC4337AccountInv, ERC4337AccountInv.conf)

verify (ERC4337AccountInv, ERC4337AccountInv.conf)
failed Apr 8, 2024 in 46s