Function: close_cancel(Cancel cancel, byte[32] merkle_root, byte[32][] proof)

This function is for canceling the close request.

Inputs

• cancel

  • Control: Fully controlled by the caller.

  • Constraints: The request must not be processed already.

  • Impact: Cancel request of the close request.

• merkle_root

  • Control: Fully controlled by the caller.

  • Constraints: Must be a valid root for the Merkle proof.

  • Impact: The root for the Merkle proof.

• proof

  • Control: Fully controlled by the caller.

  • Constraints: Must be valid with the Merkle proof.

  • Impact: The proof for the Merkle proof.

Branches and code coverage

Intended branches

• Check the given requestId is valid for the cancel request.

  Test coverage

Negative behavior

• Revert when the merkle_root is invalid.

  Negative test

• Revert when the requestId is already processed.

  Negative test

• Revert when the proof validation is failed.

  Negative test