Function: _deposit(uint256 assets, address receiver)

This pays off debt.

Inputs

• assets

  • Control: Full.

  • Constraints: None.

  • Impact: Amount of assets.

• receiver

  • Control: Full.

  • Constraints: None.

  • Impact: Whose debt to payoff.

Branches and code coverage (including function calls)

Intended branches

• Debt is paid off.

  Test coverage

• User can borrow again.

  Test coverage

Negative behavior

• Zero check.

  Negative test

Function call analysis

• _deposit -> asset.safeTransferFromWithAmount(msg.sender, credit, assets)

  • What is controllable? assets (checks).

  • If return value controllable, how is it used and how can it go wrong? Amount transferred.

  • What happens if it reverts, reenters, or does other unusual control flow? N/A.