Function: withdrawFee(address payable _to, uint256 _amount)

Used to withdraw the accrued fee in ultra light node.

Inputs

  • _to

    • Control: Fully controlled by caller.

    • Constraints: N/A.

    • Impact: Fee receiver.

  • _amount

    • Control: Fully controlled by caller.

    • Constraints: Must be less than existing fee balance.

    • Impact: Withdrawal amount.

Branches and code coverage (including function calls)

Intended branches

  • Total fee withdrawn is equal to _amount.

Negative behavior

  • Revert if _to is 0.

  • Revert if _amount is more than available balance.

Zellic © 2025Back to top ↑