Function: withdrawETH(uint256 amount, address to)

This function is used to withdraw ETH from the contract. It is only callable by the owner.

Inputs

• amount

  • Control: Arbitrary uint256.

  • Constraints: Must be less than or equal to the balance of the contract.

  • Impact: Amount to withdraw.

• to

  • Control: Arbitrary address.

  • Constraints: Must not be zero.

  • Impact: Address to receive the funds.

Branches and code coverage

Intended branches

• Calculate the withdrawal amount.

  Test coverage

• Determine the recipient address.

  Test coverage

• Revert if the withdrawal amount is zero.

  Test coverage

• Transfer the ETH to the recipient address.

  Test coverage

• Emit the ETHWithdrawn event.

  Test coverage

Negative behavior

• Revert if the caller is not the owner.

  Negative test

• Revert if the amount is zero.

  Negative test