Function: cancelWithdrawal(uint256 _nonce)

This allows cancelling a withdrawal if it has not been completed already.

Inputs

• _nonce

  • Control: Could be controlled by the admin.

  • Constraints: Less than nextNonce.

  • Impact: Used to specify which withdrawal to cancel.

Branches and code coverage (including function calls)

Intended branches

• Cancel the withdrawal successfully.

  Test coverage

Negative behavior

• Cancel withdrawal failed and then revert.

  Negative test