Function: reedem(uint256 amount)

Redeem stablecoins with RWA Assets. Calling this method will give the caller stablecoin and burn RWA tokens. Can only be called by users that are KYC-ed and are not American.

Inputs

• amount

  • Control: Full control.

  • Constraints: Nonzero.

  • Impact: The amount of shares to redeem.

Branches and code coverage

Intended branches

• Caller successfully redeems.

  Test coverage

• Include function calls.

  Test coverage

• End sentences with periods.

  Test coverage

Negative behavior

• Caller tries to redeem zero share tokens.

  Negative test

• Caller tries to redeem during pause.

  Negative test

• Caller tries to redeem while being American or not KYC.

  Negative test

• Caller tries to redeem when issueTotal is zero.

  Negative test

• Caller tries to redeem when amount is nonzero but the calculated withdrawAmount is zero.

  Negative test

Function call analysis

• this.shareToekn.totalSupply()

  • What is controllable? Not controllable.

  • If the return value is controllable, how is it used and how can it go wrong? Not directly controllable.

  • What happens if it reverts, reenters or does other unusual control flow? If total supply is extremely high, shareTotal + 1 will overflow and revert.

• this.issueToken.balanceOf(address(this))

  • What is controllable? Not controllable.

  • If the return value is controllable, how is it used and how can it go wrong? Not controllable.

  • What happens if it reverts, reenters or does other unusual control flow? If balance is zero, issueTotal - 1 will underflow and revert.

• SafeERC20.safeTransferFrom(this.shareToekn, msg.sender, address(this), amount)

  • What is controllable? Amount is controllable and must be nonzero.

  • If the return value is controllable, how is it used and how can it go wrong? Not controllable.

  • What happens if it reverts, reenters or does other unusual control flow? Should revert if user has too low of a balance.

• this.shareToekn.burn(amount)

  • What is controllable? Amount is controllable but has been transferred from the caller before it gets this far.

  • If the return value is controllable, how is it used and how can it go wrong? Not controllable.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.

• SafeERC20.safeTransfer(this.issueToken, msg.sender, withdrawAmount)

  • What is controllable? The withdrawAmount is indirectly controllable but is done after burning.

  • If the return value is controllable, how is it used and how can it go wrong? Not controllable.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.