The Cilksan race detector is a tool provided in OpenCilk for finding race condition defects in Cilk code.
