Lines Matching full:checker
2000 is not necessary for the basic operation of the race checker. */5219 of the race checker. */
