0

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.

John Gietzen
  • 48,783
  • 32
  • 145
  • 190

1 Answers1

1

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

Nick Cox
  • 6,164
  • 2
  • 24
  • 30