Function: claim()

This function is used to allow users to claim their share of bond and leverage tokens after pool creation.

Branches and code coverage

Intended branches

  • Calculate the user's bond and leverage share.

  • Transfer the user's bond and leverage share to the user.

Negative behavior

  • Revert if the deposit period has not ended.

  • Revert if the pool has not been created.

  • Revert if the user has nothing to claim.

  • Revert if this function is called in a reentrant manner.

Zellic © 2025Back to top ↑