Function: _depositIntoReserves(address fromToken, uint256 fromTokenAmount)

Deposits into reserves (converting tokens if they are not the reserve token).

Inputs

• fromToken

  • Control: Full.

  • Constraints: None.

  • Impact: The from token (sDAI or DAI).

• fromTokenAmount

  • Control: Full.

  • Constraints: None.

  • Impact: Amount of tokens.

Branches and code coverage

Intended branches

• Converts DAI into sDAI if token is DAI.

  Test coverage

Negative behavior

• Reverts if token is not DAI or sDAI.

  Negative test