Function: processRedemptions(byte[32][] redemptionIds, uint256[] priceIds)

This function is used to process redemptions of iUSPC tokens.

Inputs

• redemptionIds

  • Control: Full control.

  • Constraints: redemptionIds.length must be equal to priceIds.length, and each redemptionIds must exist in redemptionIdToRedeemer.

  • Impact: Array of redemption IDs.

• priceIds

  • Control: Full control.

  • Constraints: It must correspond to a valid oracle price, and block.timestamp - timestamp <= MAX_PRICE_AGE; the quantity must match redemptionIds.

  • Impact: Array of corresponding price IDs.

Branches and code coverage

Intended branches

Negative behavior