Function: _withdraw(uint256 assets, address receiver, address owner)

This borrows.

Inputs

• assets

  • Control: Full.

  • Constraints: None.

  • Impact: Amount to borrow.

• receiver

  • Control: Full.

  • Constraints: None.

  • Impact: Receiver of borrowed coins.

• owner

  • Control: Full.

  • Constraints: None.

  • Impact: The owner of the collateral.

Branches and code coverage (including function calls)

Intended branches

• Respects maxWithdraw.

  Test coverage

Negative behavior

• Fee cannot be larger than borrow.

  Negative test

Function call analysis

• _withdraw(assets, receiver, owner) -> borrowFeeFor(assets)

  • What is controllable? Full.

  • If return value controllable, how is it used and how can it go wrong? The borrow fee.

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

• _withdraw(assets, receiver, owner) -> _market.credit().borrow(receiver, assets, borrow_fee)

  • What is controllable? Full.

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

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