Zellic - Audit Reports

Function: `claim()`

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

Branches and code coverage

Intended branches

Ensure that when two users deposit the same amount of tokens under the same conditions, they receive the same share of bonds after the pool is created.

Negative behavior

Revert if claiming before deposit end.

Revert if claiming before pool creation.

Revert if claiming with zero balance.

Revert if claiming twice.

Function: claim()

Branches and code coverage

Function: `claim()`