[doug_durham]

In practice they never do. There are too many corner cases that people don't think of. It's almost a law of nature that you can't capture the complexity of any non-trivial specification in regression tests.