Function: transfer(address _to, uint256 _value)

Move a specified amount of tokens from the caller's account to a recipient's account.

Inputs

• _to

  • Control: Controlled by the user.

  • Constraints: Cannot be the zero address.

  • Impact: The _to address will receive the specified _value of tokens.

• _value

  • Control: Controlled by the user.

  • Constraints: Must be a nonnegative integer. The caller must have a balance of at least _value.

  • Impact: The _value specifies the number of tokens to transfer from the caller to the _to address.

Branches and code coverage (including function calls)

Intended branches

• Successful transfer.

  Test coverage

Negative behavior

• Insufficient balance.

  Negative test