Function: burn(address account, uint256 amount)

Available only for minters. Allows to burn tokens from any account without limits.

Inputs

• _to

  • Constraints: account != address(0).

  • Impact: The account from which tokens will be burned.

• _amount

  • Constraints: The _to account should have enough tokens to burn.

  • Impact: The number of tokens will be burned.

Branches and code coverage

Intended branches

• The minter was successfully burn tokens

  Test coverage

Negative behavior

• Caller is not a minter.

  Negative test

• _to contains fewer than the specified amount of tokens.

  Negative test