Function: withdraw(address[] tokens, uint256[] amounts)

The withdraw function is the core functionality for processing user withdrawal requests. It allows users to withdraw their previously deposited tokens from the contract.

Inputs

• tokens

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Array of tokens to withdraw.

• amounts

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Array of amounts to withdraw.

Branches and code coverage

Intended branches

Negative behavior