Function: mint(address account, uint256 amount)

This function mints the asset token.

Inputs

• account

  • Control: Fully controlled by the caller of AssetIssuer.

  • Constraints: Must be a nonzero address.

  • Impact: Specifies the account to receive the minted token.

• amount

  • Control: Fully controlled by the caller of AssetIssuer.

  • Constraints: None.

  • Impact: Specifies the amount of asset token to mint.

Branches and code coverage

Intended branches

• Mint the asset token.

  Test coverage

• Change the basket.

  Test coverage

Negative behavior

• The caller is an issuer.

  Negative test

• Contract is issuing.

  Negative test