In the GivingThanks::donate function, the token counter is incremented after the token has been created, not following the Checks-Effects-Interactions pattern.
The token counter is incremented after the token has been created regardless of whether the transaction was successful or not.
It can lead to inconsistencies in the contract states.
Foundry, Remix
The counter should be incremented before creating the token, following the Checks-Effects-Interactions pattern.
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.