On 08/18/2014 06:36 PM, Alexander Potapenko wrote: >> Added Sanitizer folks. Frankly it'd be cool if dumping PIDs and addresses >> could be turned off. > > Could you please name a reason for that? Reproducibility? -Y