Skip to content

Certora Review

Certora Review #44

Annotations

1 error and 2 warnings

verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...

failed Sep 23, 2024 in 23s