Skip to content

Certora Review

Certora Review #38

Annotations

2 warnings

verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...

succeeded Sep 11, 2024 in 8m 42s