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.