Re: [Valgrind-users] Unique log filename

[Eliot M. <mo...@cs...>]

On 9/25/2014 5:45 AM, Skarakis, Konstantinos wrote:
> That's fantastic. Thank you very much for your time. It works great.

Good news that it works for someone else too!

I started updating the valgrind documentation to add description
of this new feature, and expect to submit a patch soon for
developer approval.

Regards - Eliot