Skip to content
certora

[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 (#897) #871

Sign in to view logs

[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 (#897)

[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 (#897) #871

Annotations

1 warning

verify (safeToL2Setup)

verify (safeToL2Setup)
succeeded Jan 10, 2025 in 1m 2s