Function: addWithdrawAmount(address user, uint256 amount)

This allows the SuperChargerVault to add a withdrawal amount for a user.

Inputs

• user

  • Control: Fully controlled by the SuperChargerVault.

  • Constraints: None.

  • Impact: The user whose withdrawal amount is to be updated.

• amount

  • Control: Fully controlled by the SuperChargerVault.

  • Constraints: None.

  • Impact: The amount to be added to the user's withdrawal amount.

Branches and code coverage

Intended branches

• Increase the withdrawAmount mapping for the user.

  Test coverage

• Assumed that prior checks are performed before calling this function.

  Test coverage

Negative behavior

• Should not allow anyone other than the SuperChargerVault to call this function.

  Negative test