Function: transfer(address to, uint256 amount)

This allows users to transfer tokens to another address.

Inputs

• to

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The address to transfer tokens to.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The amount of tokens to transfer.

Branches and code coverage (including function calls)

Intended branches

• Assumed msg.sender posesses enough tokens to transfer.

  Test coverage

• Decrease balance of msg.sender by amount.

  Test coverage

• Increase balance of to by amount.

  Test coverage

Negative behavior

• Should not be callable if msg.sender does not posess enough tokens to transfer.

  Negative test