returned for Tags:"CodeContracts"
Microsoft Code Contracts standalone package for MSBuild
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Code Contracts Removing Tool
Tools for removing Code Contracts from source code.
Provides argument validation methods and Code Contracts helpers.
Library to simplify runtime checking by using code contracts.