Function: burn(address _debtor, uint256 _burnAmount)

Available only for minters. Allows to burn debt tokens from any _debtor account.

Inputs

• _debtor

  • Constraints: _debtor != address(0).

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

• _burnAmount

  • Constraints: Cannot be zero.

  • Impact: The number of debt tokens will be burned.

Branches and code coverage

Intended branches

• The burn was executed properly

  Test coverage

Negative behavior

• Caller is not a minter.

  Negative test

• The _burnAmount is invalid

  Negative test

• The _debtor is zero address

  Negative test

• burn zero amount

  Negative test