Function: burn(address account, uint256 amount)

This function is used to burn tokens from the specified account. It can only be called by addresses with the MINTER_ROLE.

Inputs

• account

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the account to burn tokens from.

• amount

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of tokens to burn.

Branches and code coverage

Intended branches

• Invoke the _burn function to burn the specified amount of tokens from the specified account.

  Test coverage

Negative behavior

• Revert if the caller does not have the MINTER_ROLE.

  Negative test