Function: redeem(uint256 _amount)

This function is for redeeming.

Inputs

• _amount

  • Control: Completely controlled by the caller.

  • Constraints: The caller must have enough USDz to burn.

  • Impact: Amount to redeem.

Branches and code coverage

Intended branches

• Burn the given amount of the USDz.

  Test coverage

• Transfer the proper amount of the USDC.

  Test coverage

Negative behavior

• Revert when the reserved USD is smaller than the given amount.

  Negative test

• Revert when the given amount is zero.

  Negative test

• Revert when the caller is blacklisted.

  Negative test