Function: transfer(address recipient, uint256 amount)

Function used to transfer debt tokens.

Inputs

• recipient

  • Control: Fully controlled.

  • Constraints: Should be a valid recipient.

  • Impact: Tokens will be transferred to this address.

• amount

  • Control: Fully controlled.

  • Constraints: Caller should have enough tokens.

  • Impact: The amount of tokens to be transferred.

Branches and code coverage (including function calls)

Intended branches

• The caller successfully transfers tokens to the valid recipient.

  Test coverage

Negative behavior

• Revert if recipient is invalid.

  Test coverage