title: How to unit test with Code Contracts
body: <p>What is the best practice recommendation for doing TDD with .NET 4.0 Code Contracts?</p>
  
  <p>I suppose specifically, my question is that given that one point of TDD is to allow the code to be self documenting and the contract now provides a part of the documentation, should code contracts be tested in the same way as other code?</p>