CODEWITHSUNDEEP
design-by-contractmicrosoft-contracts
John Gietzen
John Gietzen

Reputation: 49564

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

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.

Upvotes: 0

Views: 142

Answers (1)

Nick Cox
Nick Cox

Reputation: 6472

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

Upvotes: 1

Related Questions