Function: mint(address to, uint256 amount)

This function mints the token.

Inputs

• to

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address to get the tokens.

• amount

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount to mint the token.

Branches and code coverage

Intended branches

• The function must mint the token to given to.

  Coverage test

Negative behavior

• Revert if the function caller does not have VAULT_ROLE.

  Negative test