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 internal
_burn
function with the specified parameters.
Negative behavior
Revert if the caller does not have the
MINTER_ROLE
.