Function: batchExecuteBurn(address[] calldata accounts)

The function burns a batch of tokens that were previously requested to be burned through the requestBurn function. The function can be executed only by the burner role.

Inputs

• accounts

  • Control: The burnRequests mapping is checked to contain a burning request for this account. The function reverts if the length of accounts is zero.

  • Impact: The contract cannot burn more or less tokens than requested to be burned.

Branches and code coverage (including function calls)

Intended branches

• Tokens are burned according the previous burn requests, and the requests are successfully removed.

  Test coverage

• Tokens are burned according the previous burn requests, and the account with no requests are skipped.

  Test coverage

Negative behavior

• The function reverts when the function is called by a non-burner role.

  Negative test

• The function reverts when the array is empty.

  Negative test

Function call analysis

• executeBurn -> _burn(address(this), totalBurnAmount)

  • External/Internal? External.

  • Argument control? totalBurnAmount.

  • Impact: Burns the total amount of tokens requested.