Function: mint(address[] tos, uint256[] amounts)

Mints more amounts shares to the addresses given in the corresponding array tos. Can only be called by the owner.

Inputs

• tos

  • Control: Fully controllable.

  • Constraints: None.

  • Impact: The addresses to mint to.

• amounts

  • Control: Fully controllable.

  • Constraints: None, but must be at least equal to the length of tos, though this is not checked.

  • Impact: The amounts to mint.

Branches and code coverage

Intended branches

• Owner mints to single address.

  Test coverage

• Owner mints to multiple address.

  Test coverage

Negative behavior

• Caller is not the owner.

  Negative test

• The length of tos and amounts mismatches.

  Negative test