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
