Zellic - Audit Reports

This function is used to request redemption of iUSPC tokens.

amount
- Control: Full control.
- Constraints: The caller must pass the isAllowlisted check, the contract must be in the whenNotPaused state and redemptionPaused must be false, and the requested redemption amount must be greater than or equal to minimumRedemptionAmount.
- Impact: Amount of iUSPC tokens to redeem.

Intended branches

Users can successfully initiate redemption after calling the function, and the redemptionIdToRedeemer mapping record is correct.

When allowlistEnabled is true, users can initiate redemption after being added to Allowlist.

Negative behavior

When allowlistEnabled is true, users cannot initiate redemption after being removed from Allowlist.

When RedemptionsPaused is true, users cannot initiate redemption.

Users cannot initiate redemption if the redemption amount is less than minimumRedemptionAmount.