Function: groupedLiquidation(address market, address[] debtors)

This groups liquidations.

Inputs

• market

  • Control: Full.

  • Constraints: None.

  • Impact: The market.

• debtors

  • Control: Full.

  • Constraints: None.

  • Impact: The debtors to be liquidated.

Branches and code coverage (including function calls)

Intended branches

• Grouped liquidations function as expected.

  Test coverage

Negative behavior

• Cannot be called by anyone other than Role.EXECUTE_AUCTION.

  Negative test

Function call analysis

• groupedLiquidation(market, debtors) -> market.credit().liquidate(debtors, msg.sender)

  • What is controllable? Debtors.

  • If return value controllable, how is it used and how can it go wrong? Used for event info.

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