* Orton, Yves <[EMAIL PROTECTED]> [2004-05-05 14:18]: > Normally you would do a proof on something like this. And you > would work through the code and ensure that it actually does > what the proof says it must. > > Think about it, any other approach would require an infinite > number of tests.
Or at least subdivide the code in smaller individually testable units, so that you can cover a much larger number of cases with a few tests. -- Regards, Aristotle "If you can't laugh at yourself, you don't take life seriously enough."
