Function collectReward() rewards user 1 Health Token for every 3 MartenitsaTokens but does not check if they are different design.
A user may be able to colletRewards with 3 similar MartenitsaTokens.
Health tokens are not distributed as intended making them less valuable.
Manual inspection
Function collectReward() must use getDesign() in a loop for each MartenitsaTokens to see how many different designs we have and then use that to distributeHealthToken().
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.