Skip to content
certora

[Certora Audit] G-05. Use iszero instead of eq(*, 0) (#892) #863

Sign in to view logs

[Certora Audit] G-05. Use iszero instead of eq(*, 0) (#892)

[Certora Audit] G-05. Use iszero instead of eq(*, 0) (#892) #863

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (owner)
9m 6s
verify (safe)
8m 41s
verify (module)
7m 33s
verify (nativeTokenRefund)
3m 26s
verify (signatures)
4m 38s
verify (safeMigration)
3m 8s
verify (safeToL2Migration)
3m 26s
verify (safeToL2Setup)
3m 35s
43m 33s