6 packages
returned for Tags:"CodeContracts"
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Provides argument validation methods and Code Contracts helpers.
MicroElements source code only package: CodeContracts. Main methods: AssertArgumentNotNull.
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Library to simplify runtime checking by using code contracts.
MicroElements source packages metapackage.