Skip to content

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible #873

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible #873

Annotations

1 warning

verify (nativeTokenRefund)

succeeded Jan 10, 2025 in 3m 45s