Function: provideToSP(uint256 _amount)

Deposit debt token to the stability pool.

Inputs

• _amount

  • Control: Fully controlled.

  • Constraints: Should be greater than 0.

  • Impact: The amount of debt tokens to be deposited to the pool.

Branches and code coverage (including function calls)

Intended branches

• Provide debt tokens to the stability pool, trigger Prisma reward issuance, and accrue deposit collateral gains and rewards tokens.

  Test coverage

• Updates the deposits and snapshots.

  Test coverage

Negative behavior

• Revert if deposits are paused.

  Test coverage

• Revert if amount is equal to zero.

  Test coverage

Function call analysis

• debtToken.sendToSP(msg.sender, _amount)

  • What is controllable? msg.sender and _amount.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? No reentrancy scenarios.