Function: redeemBackSPCT(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 SPCT.

  Test coverage

Negative behavior

• Revert when the given amount is zero.

  Negative test

• Revert when the caller is blacklisted.

  Negative test