Skip to content
Back to pull request #896

[Certora Audit] G-09. Cache array length outside of loop #2245

Sign in to view logs

[Certora Audit] G-09. Cache array length outside of loop

[Certora Audit] G-09. Cache array length outside of loop #2245

Annotations

1 warning

CLAssistant

CLAssistant
succeeded Jan 9, 2025 in 4s