1 |
On Tuesday 29 November 2011 23:28:48 Walter Dnes wrote: |
2 |
|
3 |
> There aren't enough developers on the planet to test every possible |
4 |
> combination of testing ebuild, and non-recommended rc.conf option. |
5 |
|
6 |
Not only that, but once random timing is introduced, as in any system with a |
7 |
hardware clock interrupt, it becomes impossible in principle to cover all |
8 |
cases, so testing is always imperfect. That was the death-knell of |
9 |
mathematical proof of correctness in the 80s; it only ever applied to a |
10 |
small subset of real computer systems. |
11 |
|
12 |
-- |
13 |
Rgds |
14 |
Peter Linux Counter 5290, 1994-04-23 |