Print detected data races to stdout instead of hiding in a file