Function: mint(address _debtor, uint256 _mintAmount)

Available only for minters. Allows to add a new debt position to any _debtor account. The debtor's principal will be increased by amount, and also totalPrincipal will be increased.

Inputs

• _debtor

  • Constraints: Cannot be zero address.

  • Impact: The receiver of debt tokens.

• _mintAmount

  • Constraints: No constraints.

  • Impact: The debt amount.

Branches and code coverage

Intended branches

• The _debtor's principal was increased.

  Test coverage

• totalPrincipal was updated properly.

  Test coverage

Negative behavior

• Caller is not a minter.

  Negative test

• _mintAmount is zero.

  Negative test

• _debtor address is zero.

  Negative test