Function: _rebalanceDown(uint256 borrowAmount, bytes swapData, uint256 minReservesOut, bool force)

Rebalances A/L down (borrow).

Inputs

• borrowAmount

  • Control: Full.

  • Constraints: None.

  • Impact: Amount to borrow.

• swapData

  • Control: Full.

  • Constraints: None.

  • Impact: Swap specific data for the swap debt to deposit.

• minReservesOut

  • Control: Full.

  • Constraints: None.

  • Impact: The slippage check.

• force

  • Control: Full.

  • Constraints: None.

  • Impact: Force ignore A/L limits.

Branches and code coverage

Intended branches

• Slippage checks are respected.

  Test coverage

• Force parameter is respected.

  Test coverage

Negative behavior

• A/L cannot go over ceiling or below floor when force is not set.

  Negative test