Function: redeem(PoolParams[] longPoolParams, PoolParams[] shortPoolParams)

This function is used to redeem long and short tokens.

Inputs

• longPoolParams

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Array of pool parameters that are for long positions.

• shortPoolParams

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Array of pool parameters that are for short positions.

Branches and code coverage

Intended branches

• Invokes redeemLong for each pool in longPoolParams.

  Test coverage

• Invokes redeemShort for each pool in shortPoolParams.

  Test coverage