Re: [Valgrind-users] Possible bug in valgrind-1.9.4

[John R. <re...@cs...>]

> Design for debuggability / verifiability, I say.  Automated debugging
> is the way to go.

Yep -- for example about a year ago I was coding a tricky algorithm that
happily lended itself to testing vs. a simulator using random inputs.
After I finished finding bugs in my implementation there was one more bug
left that turned out to be an error in the original specification of the
algorithm!

Details on page 12 of this paper if anyone is interested :).

http://www.cs.utah.edu/flux/papers/spak-flux-tn-02-01/regehr-rtss02.pdf

John