Function: burn(address _account, uint256 _amount)

This is the function to burn debt tokens.

Inputs

• _account

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The account from which the amount should be burned.

• _amount

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The amount of debt tokens to be burned.

Branches and code coverage (including function calls)

Intended branches

• Function should be called only from a valid trove manager.

  Test coverage

Negative behavior

• Revert if the caller is unknown.

  Test coverage