Skip to content

Certora main

Certora main #73

Annotations

1 warning

verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)

succeeded Jan 13, 2025 in 8m 9s