Function: withdrawAll(uint256 _minAmount0, uint256 _minAmount1)

Allows the user to withdraw their entire balance from the vault.

Inputs

• _minAmount0

  • Control: Fully controlled by the user.

  • Constraints: None.

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

• _minAmount1

  • Control: Fully controlled by the user.

  • Constraints: None.

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

Branches and code coverage

Intended branches

• Call the withdraw function with the entire balance of the user.

  Test coverage

Negative behavior

• Should not allow the user to withdraw more than they have. This is enforced through the withdraw function.

  Negative test

• Should not allow the user to withdraw someone else's shares.

  Negative test