On Tuesday 29 November 2011 23:28:48 Walter Dnes wrote:

> There aren't enough developers on the planet to test every possible

> combination of testing ebuild, and non-recommended rc.conf option.

Not only that, but once random timing is introduced, as in any system with a hardware clock interrupt, it becomes impossible in principle to cover all cases, so testing is always imperfect. That was the death-knell of mathematical proof of correctness in the 80s; it only ever applied to a small subset of real computer systems.

--

Rgds

Peter Linux Counter 5290, 1994-04-23