Microsoft.Contracts is the main build of the Microsoft Code Contracts system . If it is not used by your actual code, it could very well be used by the reference library.
In theory, you should be able to delete all the code associated with it, and your program should work the same. After all, this is just a way to practice and help with testing. In practice, I'm not sure ...
Code contracts provide an agnostic language for expressing coding assumptions in .NET programs. Contracts take the form of preconditions, post-conditions, and object invariants. Contracts act as validated documentation of your external and internal APIs. Contracts are used to improve testing through runtime verification, the inclusion of static contract verification and documentation generation. Code contracts bring the benefits of design by contract programming for all .NET programming languages. We currently provide three tools:
The full version is available only in VS 2010 Premium / Ultimate, but apparently you can get the standard version for other versions of VS.
Noldorin
source share