Function: addLender(address _lender)

This adds lender to list.

Inputs

• _lender

  • Control: Full.

  • Constraints: Needs to be a valid address.

  • Impact: The lender to manage debt.

Branches and code coverage (including function calls)

Intended branches

• Owner can successfully add lender.

  Test coverage

Negative behavior

• Function reverts if invoked by nonowner.

  Negative test

• Function reverts if invoked by owner with a strategy with its aggregator.strategies(_lender).activation being equal to zero.

  Negative test

Function call analysis

• rootFunction -> aggregator.strategies(address)

  • What is controllable? _lender.

  • If return value controllable, how is it used and how can it go wrong? It is used to determine whether the strategy for _lender is revoked or not.

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