veRAACToken uses whenNotPaused (modifier not imported but written in contract) but cannot be paused or unpaused.
In veRAACToken.sol, the whenNotPaused modifier is written with paused
as a variable in the contract.
This modifier is used in some functions like lock()
However, there is no way to set paused
to true in the contract.
whenNotPaused
cannot be used
Manual Review
Have some setter functions to set the paused variable to true/false.
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.