Function: sendToSP(address _sender, uint256 _amount)

This is the function used to send debt tokens to the stability pool.

Inputs

• _sender

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Tokens will be sent from this address.

• _amount

  • Control: Fully controlled.

  • Constraints: Sender should have enough tokens.

  • Impact: Amount of tokens to be sent.

Branches and code coverage (including function calls)

Intended branches

• Function should be called only from the stability pool.

  Test coverage

Negative behavior

• Revert if caller is unknown.

  Test coverage

• Revert if sender does not have enough tokens.

  Test coverage