Searched defs:time_ms (Results 1 – 1 of 1) sorted by relevance
980 int time_ms = atoi(args[i] + strlen("--deadline=")); in PickOptions() local987 int time_ms = atoi(args[i] + strlen("--warnline=")); in PickOptions() local