Skip to content
certora

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

Sign in to view logs

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

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

Annotations

1 warning

verify (safeMigration)

verify (safeMigration)
succeeded Jan 9, 2025 in 1m 7s