Skip to content
Certora

[Certora] Liquidate buffer, with executable code #651

Sign in to view logs

[Certora] Liquidate buffer, with executable code

[Certora] Liquidate buffer, with executable code #651

Annotations

1 warning

verify (ExactMath)

verify (ExactMath)
succeeded Jan 16, 2025 in 7m 10s