Function: amountClaimable(address user, byte[32][] merkleProof)

The function is used to calculate the number of tokens a user can mint, provided the correct Merkle proof.

Inputs

• user

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: N/A.

• merkleProof

  • Control: Fully controlled.

  • Constraints: Should be a valid Merkle proofs array.

  • Impact: Used to determine the amount of tokens to mint for the user, if the proofs are valid.

Branches and code coverage (including function calls)

Intended branches

• Anyone should be able to check the claimed amount, provided the correct Merkle proof.

  Checked

• Should return 0 if the user has already claimed.

  Checked

Negative behavior

• If the wrong proof is provided, the amount should be zero.

  Checked