Function: requestWithdrawal(uint256 shares)

This cannot be called if fundsDeployed is false. It allows the owner of shares to add shares to the queue for withdrawal.

Inputs

• shares

  • Constraints: The amount of shares should be less than or equal to the rest of shares of msg.sender, which were not added to the queue.

  • Impact: The amount of shares will be added to the queue for withdrawal.

Branches and code coverage (including function calls)

Intended branches

• withdrawQueue[msg.sender].shares was increased by shares amount.

  Test coverage

• totalQueuedShares[deployId] was increased by shares amount.

  Test coverage

Negative behavior

• Shares amount is more than balanceOf[msg.sender] - withdrawQueue[msg.sender].shares.

  Negative test

• The fundsDeployed is false.

  Negative test