Skip to content
CLA Assistant

[Certora Audit] G07. Use a mask instead of shifting left and right #2271

Sign in to view logs

[Certora Audit] G07. Use a mask instead of shifting left and right

[Certora Audit] G07. Use a mask instead of shifting left and right #2271

Run time

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