Function: claimCollateralGains(address recipient, uint256[] collateralIndexes)

This is the function used to claim the collateral gained by the user.

Inputs

• recipient

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The recipient of the collateral gains.

• collateralIndexes

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Array of collateral indexes to claim gains for.

Branches and code coverage (including function calls)

Intended branches

• If gains of collateral are greater than zero, transfer them to the recipient address.

  Test coverage

Negative behavior

• If transfer of tokens fail, revert the transaction.

  Test coverage