Skip to content
Certora verification

Gas profiling swaps #141

Sign in to view logs

Gas profiling swaps

Gas profiling swaps #141

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (ERC4337Account, ERC4337Account.conf --rule cantInitTwice)
1m 28s
verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)
1m 31s
verify (ERC4337AccountInv, ERC4337AccountInv.conf)
1m 22s
4m 21s