Function: redeem(uint256 _amount)

This function is for redeeming.

Inputs

• _amount

  • Control: Completely controlled by the caller.

  • Constraints: Must be bigger than zero.

  • Impact: Amount to redeem.

Branches and code coverage

Intended branches

• Transfer the exact amount of USDC from this contract to the caller.

  Test coverage

• The function must burn the exact reduced amount of the SPCT token if any fee exists.

  Test coverage

Negative behavior

• Revert if the amount was zero.

  Negative test