Function: deposit(uint256 _amount0, uint256 _amount1, uint256 _minShares)

Allows user to deposit in the vault and receive shares.

Inputs

• _amount0

  • Control: Fully controlled by the user.

  • Constraints: None. Basically checked that msg.sender affords the deposit.

  • Impact: The amount of token0 to deposit.

• _amount1

  • Control: Fully controlled by the user.

  • Constraints: None. Basically checked that msg.sender affords the deposit.

  • Impact: The amount of token1 to deposit.

• _minShares

  • Control: Fully controlled by the user.

  • Constraints: None. Checked that the user receives enough shares.

  • Impact: The minimum amount of shares that the user wants to receive with slippage.

Branches and code coverage

Intended branches

• Should transfer the _amount0 and _amount1 from the user to the strategy.

  Test coverage

• Should mint the user the correct amount of shares.

  Test coverage

• Ensure that the user receives enough shares (i.e., shares > _minShares).

  Test coverage

• Calculate the correct amount of shares to mint based on the amount of tokens deposited.

  Test coverage

• Should mint some minimum amount of shares on the first-ever deposit. This is against the first-depositor bug.

  Test coverage

Negative behavior

• Should not allow the user to deposit zero tokens. Currently not enforced.

  Negative test

• Should not allow the user to deposit more than they have.

  Negative test

• Should not allow the user to deposit someone else's tokens.

  Negative test

• Should not allow the user to deposit inflationary tokens.

  Negative test