Function: withdrawNative(uint256 _amount)

This withdraws native ETH from the virtual account to the sender. Can only be called by the approved caller.

Inputs

• _amount

  • Control: Full control.

  • Constraints: None, but it reverts later if more than the current ETH balance.

  • Impact: The amount of ETH to withdraw.

Branches and code coverage

Intended branches

• Approved caller can withdraw.

  Test coverage

Negative behavior

• Unapproved caller cannot withdraw.

  Negative test