Certora #46
Annotations
2 errors
|
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
The operation was canceled.
|