here the function is not reverting an error as suggested in napsec .
In contract veRAACToken.sol
the function named lock
is not reverting the error as suggested and not checking the condition , if user not have enough tokens .
It is not checking condition .
It will allow the user with not enough value to make the transfer
Manual Review
Make the condition check if the user dont have enough value .
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.