Function: transferFrom(address from, address to, uint256 amount)

Transfers someone else's vault shares to the recipient and spends allowance.

Inputs

• from

  • Control: Arbitrary.

  • Constraints: Must have allowance for amount of shares.

  • Impact: Sender of the vault shares.

• to

  • Control: Arbitrary.

  • Constraints: None.

  • 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 allowance.

  Negative test

• Transfer fails due to exceeding pending withdrawal quantity for from.

  Negative test

• Transfer fails due to exceeding sender balance.

  Negative test