Function: burnWithGasCompensation(address _account, uint256 _amount)

This is the function called from borrower operations to burn debt tokens along with gas compensation to the gas pool.

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

• Should be called only from borrower operations address.

  Test coverage

Negative behavior

• Revert if the caller is not borrower operations.

  Test coverage