Skip to content
safe-smart-account

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

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) #2900

Annotations

1 warning

benchmarks (0.8.24)

benchmarks (0.8.24)
succeeded Jan 9, 2025 in 1m 5s