Function: collateralRefund(PoolParams[] poolParams, uint256[] shares)

This function is used to refund the collateral.

Inputs

• poolParams

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Pool parameters.

• shares

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of shares.

Branches and code coverage

Intended branches

• Invokes _collateralRefund for each pool.

  Test coverage

Negative behavior

• Reverts if the lengths of poolParams and shares are not equal.

  Negative test