Skip to content

Certora review for Steward #53

Certora review for Steward

Certora review for Steward #53

Annotations

1 error and 2 warnings

verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)

failed Mar 18, 2024 in 58s