Skip to content
Certora

[Certora] Liquidate buffer, with executable code #636

Sign in to view logs

[Certora] Liquidate buffer, with executable code

[Certora] Liquidate buffer, with executable code #636

Annotations

1 warning

verify (Transfer)

verify (Transfer)
succeeded Dec 12, 2024 in 5m 7s