MartenitsaToken::producers
array is not cleared when stopping event which may not be desired behavior.
Mapping MartenitsaToken::isProducer
is cleared when stopping event but MartenitsaToken::producers
array is not, which is mismatch in logic.
When fetching MartenitsaToken::producers
array from contract, caller expects that it will return all current producers but that is not the case because array is not cleared after stopping event.
Manual review
Delete producers
array at end of MartenitsaEvent::stopEvent
function.
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.