Function: _redeemFromReserves(uint256 reservesAmount, address toToken, address recipient)

Redeems from reserves.

Inputs

• reservesAmount

  • Control: Full.

  • Constraints: None.

  • Impact: Amount of reserves to redeem.

• toToken

  • Control: Full.

  • Constraints: None.

  • Impact: Desired toToken (sDAI or DAI).

• recipient

  • Control: Full.

  • Constraints: None.

  • Impact: Recipient.

Branches and code coverage

Intended branches

• Redeems if token is DAI.

  Test coverage

Negative behavior

• Invalid if tokens are neither DAI or sDAI.

  Negative test