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

Annotations

1 warning

verify (safeMigration)

verify (safeMigration)
succeeded Jan 9, 2025 in 3m 8s