A new version of the Code Contracts system is out. The download is for Visual Studio 2008 and Visual Studio 2010, and also works on build servers (for the binary rewriters).

Various issues have been fixed (see Release Notes). For me, the most important one is that code coverage is not impeded by contracts anymore. In the previous release, any line containing a code contract was not counted when calcu­lating coverage, and thus reported coverage was lower than actual coverage. That is now fixed.

See also my previous posts:

• Code Contracts By Example
• Code Contract Coding Conventions