Function: transferFrom(address sender, address recipient, uint256 amount)

Function used to transfer debt tokens from a sender if caller has enough allowance.

Inputs

• sender

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Tokens will be deducted from this address.

• recipient

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Tokens will be sent to this address.

• amount

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Amount of tokens to be transferred.

Branches and code coverage (including function calls)

Intended branches

• Tokens are successfully transferred from sender to recipient.

  Test coverage

Negative behavior

• Revert if recipient is invalid.

  Test coverage