On 08/19/2014 02:31 PM, Jan Včelák wrote: > I believe the problem originates in some kind of race.
Try --fair-sched=yes to see if you can reproduce the problem more often and/or more reliably. J ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that matters. http://tv.slashdot.org/ _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users