Function: claimCollateral(address _receiver)
Function to claim remaining collateral from a redemption or from a liquidation with ICR > MCR in recovery mode.
Inputs
_receiver
Control: Fully controlled.
Constraints: No constraints.
Impact: The receiver address for the collateral tokens.
Branches and code coverage (including function calls)
Intended branches
If
surplusBalance
of the caller is greater than zero, transfer the collateral to the_receiver
.
Negative behavior
If
surplusBalance
of the caller is greater than zero, revert the function call.If collateral transfer fails, revert the function call.
Function call analysis
collateralToken.transfer(_receiver, claimableColl)
What is controllable?
_receiver
.If return value controllable, how is it used and how can it go wrong? Return value is not controllable.
What happens if it reverts, reenters, or does other unusual control flow? No reentrancy scenarios.