Function: mint(address to, uint256 amount)

This function is used to mint new tokens to the specified address. It can only be called by addresses with the MINTER_ROLE.

Inputs

• to

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the recipient of the minted tokens.

• amount

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of tokens to mint.

Branches and code coverage

Intended branches

• Invoke the internal _mint function with the specified parameters.

  Test coverage

Negative behavior

• Revert if the caller does not have the MINTER_ROLE.

  Negative test