The veRAACToken contract uses the whenNotPaused modifier in several functions but fails to inherit from OpenZeppelin's Pausable contract, making these modifiers non-functional and the intended pause functionality impossible.
In veRAACToken.sol:
The contract uses whenNotPaused modifier in critical functions but doesn't inherit from Pausable, making it impossible to pause the contract.
Contract cannot be paused in case of emergency.
Manual review
Inherit from OpenZeppelin's Pausable contract and add pause/unpause functionality
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.