Function: initiateWithdrawal(uint256 amount, address target)

This initiates withdrawal with a specific amount and target.

Inputs

• amount

  • Control: Could be controlled by the user.

  • Constraints: Should be greater than zero and less than accumulatedWithdrawalAmount, and it should not be larger than balanceOf(address(this)) - totalPending.

  • Impact: The amount to be withdrawn.

• target

  • Control: Could be controlled by the user.

  • Constraints: Should be a valid address.

  • Impact: The address to receive the withdrawal.

Branches and code coverage (including function calls)

Intended branches

• Initiate withdrawal successfully.

  Test coverage

Negative behavior

• Initiate withdrawal failed and revert.

  Negative test