Craig Latta wrote:
>  > Sounds like a risky idea :-)
> 
>     Nah, it's been working fine for three years now. The fact that it 
> worked for the first three minutes was enough to convince me. :)

I just mean determining the complete behaviour of a piece of code from 
the methods it touches during a particular test run. I guess it's the 
same objection raised when test suites are compared to static type 
systems: one proves correctness, one proves not-incorrectness... :-)

Tony