pause/unpause functionalities are not implemented in veRAACToken.
lock(), increase() and extend() in veRAACToken are declared with whenNotPaused modifier, therefore it is expected that those functions can be prevented from being called when the contract is pause.
However, pause/unpause functionalities are not implemented in veRAACToken, this means those functions can never be paused.
veRAACToken cannot be paused/unpause.
Manual Review
Implement pause/unpause functionalities in veRAACToken.
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.