Function: approve(address spender, uint256 amount)

This allows msg.sender to approve another address to spend tokens on their behalf.

Inputs

• spender

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The address to approve to spend tokens on behalf of msg.sender.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The amount of tokens to approve to spend on behalf of msg.sender.

Branches and code coverage (including function calls)

Intended branches

• Increase the allowance of msg.sender for spender by amount.

  Test coverage

Negative behavior

• Should not allow someone else to edit the allowance of others.

  Negative test