Message: ExecuteMsg::Claim

This allows a user to withdraw all their expired claims.

Inputs

• info.sender

  • Validation: The claim function verifies that the info.sender is a whitelisted address.

  • Impact: The user that withdraws their claims.

Branches and code coverage (including function calls)

Intended branches

• If the amount of claimed assets is greater than zero and the contract has the rewards available, then it transfers the assets to the user.

  Test coverage

Negative behavior

• Revert if there is nothing to claim.

  Negative test

• Revert if the contract does not have a sufficient amount to transfer to the user.

  Negative test