ControllerV1.sol, (L#190): unsafe cast from uint256 to uint64 of the variable blockTime
ControllerV1.sol, (L#192): unsafe cast from uint256 to uint64 of the variable blockTime
The warden has not provided any reason as to how this issue might occur. Block time can easily fit within uint64, hence there is no reason to expect an overflow.
Handle
mics
Vulnerability details
use openzeppilin's safeCast in: