How do I set up Microsoft Contracts static checking in Visual Studio 2010?

Question

I recently downloaded Visual Studio 2010b2, and wanted to re-evaluate some of my questions about the Microsoft contracts static checker.

I managed to re-use most of the code by using the System.Diagnostics.Contracts namespace for the code, but I am unsure of how to enable the static checker. Do I need an additional plug-in?

I was under the impression that design-by-contract was supposed to "just work" in VS2010.

Thanks for your help.

Answer 1

I was hoping it would 'just work', too. It doesn't. You still need to install the bits to get the static checking.