Skip to content

Add Certora formal verification for GhoStewardV2 #58

Add Certora formal verification for GhoStewardV2

Add Certora formal verification for GhoStewardV2 #58

Annotations

2 warnings

verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)

succeeded Mar 20, 2024 in 4m 59s