There's two ways of thinking about tests: A) They let you verify that implementation passes its spec, more or less. B) They are a (trustworthy) description of

There's two ways of thinking about tests: A) They let you verify that implementation passes its spec, more or less. B) They are a (trustworthy) description of how the system behaves, they allow you to understand the system better.