Function: close(address asset)

Loops the repaying and withdrawing.

Inputs

• asset

  • Control: Completely controlled by caller.

  • Constraints: Must have a valid reserve on the lending pool.

  • Impact: The address of the target token.

Branches and code coverage (including function calls)

Intended branches

• Full repayment succeeds if user has sufficient balance.

  Test Coverage

• Partial repayment success.

  Test Coverage

• Asset balance of contract is zero after success, regardless of loop count.

  Test Coverage

Negative behavior

• Reverts if asset does not have a valid lending pool.

  Negative Test