Skip to content
CLA Assistant

[Certora Audit] G-05. Use iszero instead of eq(*, 0) #2241

Sign in to view logs

[Certora Audit] G-05. Use iszero instead of eq(*, 0)

[Certora Audit] G-05. Use iszero instead of eq(*, 0) #2241

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CLAssistant
3s
3s