Function: _rebalanceUp(uint256 depositAssetsToWithdraw, uint256 minReserveAssetShares, bytes swapData, uint256 minDebtAmountToRepay, bool force)

Rebalances up implementation.

Inputs

• depositAssetsToWithdraw

  • Control: Full.

  • Constraints: None.

  • Impact: Amount to withdraw.

• minReserveAssetShares

  • Control: Full.

  • Constraints: None.

  • Impact: Slippage check.

• swapData

  • Control: Full.

  • Constraints: None.

  • Impact: Swapper-specific data for swapping.

• minDebtAmountToRepay

  • Control: Full.

  • Constraints: None.

  • Impact: Slippage check.

• force

  • Control: Full.

  • Constraints: None.

  • Impact: Ignore A/L limits and force rebalance.

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