Function: transfer(address to, uint256 amount)

Transfers vault shares to the recipient.

Inputs

• to

  • Control: Arbitrary.

  • Constraints: Arbitrary.

  • Impact: Recipient of the vault shares.

• amount

  • Control: Arbitrary.

  • Constraints: Must be less than or equal to the total shares pending withdrawal for the user.

  • Impact: Amount of shares to transfer.

Branches and code coverage

Intended branches

• Transfer succeeds.

  Test coverage

Negative behavior

• Transfer fails due to exceeding pending withdrawal quantity.

  Negative test

• Transfer fails due to exceeding sender balance.

  Negative test