Skip to content

[Certora][H-02] NFT Withdrawal Price Finalization #40

[Certora][H-02] NFT Withdrawal Price Finalization

[Certora][H-02] NFT Withdrawal Price Finalization #40

Annotations

1 error and 1 warning

Foundry project

failed Oct 3, 2024 in 6m 13s