Specifying invariants via tests before or during the writing of code is a great technique. Making your whole development approach blindly revolve around one te

Specifying invariants via tests before or during the writing of code is a great technique. Making your whole development approach blindly revolve around one technique is self-evidently a poor idea.