Function: _mint(uint256 shares, address receiver)

This facilitates minting shares into the vault.

Inputs

• shares

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The amount of shares to mint.

• receiver

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The address to mint the shares to.

Branches and code coverage (including function calls)

Intended branches

• Deplete the balance of msg.sender by assets.

  Test coverage

• Increase the balance of address(this) by assets.

  Test coverage

• Mint shares to receiver.

  Test coverage

Negative behavior

• Should not allow depositing more assets than what was transferred. That is ensured in safeTransferFromWithAmount.

  Negative test

• Should not allow the deposit inflation attack. Currently that is not enforced in code.

  Negative test

• Should not allow for huge discrepancies between previewMint and actual mint. Currently that is not enforced in code.

  Negative test