Skip to content

Certora Review

Certora Review #21

Annotations

1 error and 1 warning

verify (NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnReserveDisabledFo...

failed Dec 12, 2024 in 5m 56s