Per the purpose for which the veRAACToken was built, and the presence of a whenNotPaused() modifier, this particular contract is meant to have a means for it to be paused. But in its current state, this functionality is missing.
In the events that the contract needs to be paused, fow whatever reasons; for withdrawals, upgrades, in the case of an hack, etc., it is impossible to do so.
Plus, it makes the whenNotPaused() modifier currently useless.
Manual Review
Add a pause function that is callable by onlyOwner
Here is a test to prove this mitigation:
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.