Contract veRAACToken has no functions to change the paused value.
Contract veRAACToken has a storage variable paused that it relies on in modifier whenNotPaused:
This modifier is used for functions lock, increase and extend. However, there is no functions that change the paused value, and the contract can not be paused.
In emergency the contract can not be paused, despite it was created with intention to have this ability pause.
Manual review
Add functions to pause/unpause the contract.
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.