Skip to content
certora

[Certora Audit] G-09. Cache array length outside of loop (#896) #865

Sign in to view logs

[Certora Audit] G-09. Cache array length outside of loop (#896)

[Certora Audit] G-09. Cache array length outside of loop (#896) #865

Annotations

1 warning

verify (safe)

verify (safe)
succeeded Jan 9, 2025 in 9m 2s