# Contains problems regarding the detection of data races.
pthread/*.yml
pthread-atomic/*.yml
pthread-ext/*.yml
pthread-wmm/*.yml
pthread-lit/*.yml
ldv-races/*.yml
ldv-linux-3.14-races/*.yml
pthread-complex/*.yml
pthread-driver-races/*.yml
pthread-C-DAC/*.yml
pthread-divine/*.yml
pthread-nondet/*.yml
goblint-regression/*.yml
weaver/*.yml
pthread-deagle/*.yml