On Sat, 31 Mar 2012 18:39:21 +0300 Alex Alexander <alex.alexan...@gmail.com> wrote: > On Mar 31, 2012 5:57 PM, "Ciaran McCreesh" > <ciaran.mccre...@googlemail.com> wrote: > > On Sat, 31 Mar 2012 15:08:29 +0300 > > Alex Alexander <alex.alexan...@gmail.com> wrote: > > > No. I didn't say I think it works, I said I have proof it works. > > > > Well that's interesting, because there are plenty of examples where > > it doesn't work, and all that it takes to disprove a theory is a > > single counterexample. So I think you're misunderstanding what > > constitutes proof here -- "some evidence" certainly isn't it. > > Boring. You conveniently ignored the other part of my message.
I was hoping you'd understand how your claim of proof was utterly unfounded. What you have is limited evidence of a very specific situation, which is a whole other thing. > I'll repeat it: no matter how much you argue, it'll still work fine > for me. And I'll spell it out. On the scale of "it works", you have a series of levels: 1. It compiles. 2. I tried it and I didn't see any breakages. 3. I tried it, and I checked carefully that nothing was broken. 4. I tried it on a wide range of valid inputs, and I checked carefully that nothing was broken. 5. I tried it on a wide range of valid inputs, including inputs designed to test edge cases, and I checked carefully that nothing was broken. 6. I tried it on a wide range of valid and invalid inputs, and I checked carefully that nothing was broken, and that the invalid inputs were handled correctly. 7. I carefully considered all the equivalence classes of inputs, and tested each. 8. I carefully considered all the equivalence classes of inputs, and can explain why each is handled correctly. 9. I can prove that it works. You're offering evidence of number 2, or possibly 3. Gentoo is a large system containing many interacting components, that is expected to keep working for long periods in many different unpleasant situations. We need to be at at least number 7 here, and ideally number 8. For preserve libs, the feature fails at number 4. -- Ciaran McCreesh
signature.asc
Description: PGP signature
