Skip to content

Certora Review

Certora Review #33

Annotations

2 warnings

verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...

succeeded Sep 9, 2024 in 25m 52s