Participants of the Martenitsa Event can not sell nor create Martenitsa token as estipulated in the documentation.
According to the documentation, a user with healthToken
can enter the MartenitsaEvent
, participants during the event become producers with the capacity of creating and list for sale their owned Martenitsa tokens, but if they call MartenitsaMarketplace::listMartenitsaForSale
or MartenitsaToken::createMartenitsa
it reverts with the message revert: You are not a producer!
.
##Proof of code
You may add this code to MartenitsaEvent.t.sol
to corroborate the issue.
This issue directly breaks the purpuse and functionality of the Martenitsa event stated in the docs.
Manual review
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.