Function: amoBurn(address _account, uint256 _amount)

Allows caller access to this function to burn AMO tokens — but not more than was minted.

Inputs

• _account

  • Constraints: account != address(0).

  • Impact: The account from which tokens will be burned.

• _amount

  • Constraints: Cannot be more than _amoMinted.

  • Impact: The amount of AMO tokens that will be burned.

Branches and code coverage

Intended branches

• amoMinted was decreased by _amount.

  Test coverage

Negative behavior

• Non-whitelisted caller

  Negative test

• _account is zero address.

  Negative test

• _account contains fewer than the specified amount of tokens.

  Negative test

• _amount is more than _amoMinted.

  Negative test