Function: erase(address account)

This erases debt.

Inputs

• account

  • Control: Full.

  • Constraints: None.

  • Impact: The account whose debt will be erased.

Branches and code coverage (including function calls)

Intended branches

• Removes debt.

  Test coverage

Negative behavior

• Cannot erase debt from an empty account.

  Negative test