Skip to content

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

[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 #868

Annotations

1 warning

verify (signatures)

succeeded Jan 10, 2025 in 3m 39s