Function: burnFrom(address account, uint256 value)

This function burns the tokens of a given address.

Inputs

• account

  • Control: Completely controlled by the caller.

  • Constraints: None.

  • Impact: Address to burn from.

• value

  • Control: Completely controlled by the caller.

  • Constraints: None.

  • Impact: Amount to burn.

Branches and code coverage

Intended branches

• Burn the tokens from a given address.

  Test coverage

Negative behavior

• Revert if caller does not have MINTER_ROLE.

  Negative test