On Mon, Sep 04, 2006 at 09:11:52AM -0500, [EMAIL PROTECTED] wrote: > Automating stuff you do NOT understand stands little chance of making > anything better. Me, I just lurk here and do not speak for anyone, but > I can assure you that the OpenBSD folks are not so naive as to put any > trust in automated gizmos.
Coverity found at least 30 bugs in OpenBSD (counting the number of commits to the cvs mailing list containing ``coverity'', according to marc), so it seems the OpenBSD developers *do* acknowledge the value of some automated testing. Also, tedu@ is a Coverity employee.
