Code Contracts Extensions (CoDe Magazine article)

Rating: No reviews yet
Downloads: 497
Released: Dec 16, 2009
Updated: Jan 11, 2010 by DevInstinct
Dev status: Stable Help Icon

Recommended Download

Source Code Full Code Sample
source code, 128K, uploaded Dec 17, 2009 - 454 downloads

Other Available Downloads

Source Code Code Sample w/o Pex
source code, 44K, uploaded Dec 17, 2009 - 43 downloads

Release Notes

This first release provides the support code for the related Code Contracts article in the January-February 2010 issue of CoDe Magazine.
It introduces Code Contracts and the Extensions in an example using the Entity Framework and Pex.

The solution is VS2008, but can be converted and used as-is with VS2010 Beta 2.
Units tests were generated by Pex.

The code has been tested with the following versions:
  • Code Contracts 1.2.21023.14
  • Pex 0.19.41110.1
You need to install Code Contracts and Pex separately from VS2008 & VS2010. They are available on Microsoft DevLabs at
The sample also requires SQL Express (or better) and the AdventureWorksLT2008 database from

If you want to download the Code Contracts Extensions only, you can do it there:

Reviews for this release

No reviews yet for this release.