Function: requestWithdraw(uint256 amount)

This allows a user to perform a withdraw request.

Inputs

• amount

  • Control: Fully controlled by the user.

  • Constraints: User needs to afford the amount of shares to be withdrawn.

  • Impact: The amount of shares to be withdrawn.

Branches and code coverage

Intended branches

• Ensure that it is not settling phase.

  Test coverage

• Ensure that the length of the user requests is less than the maximum withdraw count.

  Test coverage

• Transfer the shares from the user to the contract.

  Test coverage

• Add the shares to the requested withdraw shares mapping.

  Test coverage

• Increase the total requested shares.

  Test coverage

• Add the user to the request users set.

  Test coverage

Negative behavior

• Should not allow withdrawing if the amount is zero.

  Negative test

• Should not allow withdrawing if the user cannot afford the shares.

  Negative test