If the Owner of the HealthToken smart contract never calls HealthToken::setMarketAndVotingAddress health tokens will never be distributed
The only addresses that are allowed to call distributeHealthToken are the MartenitsaMarketplace and MartenitsaVoting and this is the only way HealthTokens are minted to users or producers.
If this function is never called the contract will never distribute HealthTokens and major functionalities of the Baba Marta system will be broken.
Manual Review
Set these addresses in the constructor.
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.