Code Contracts for .NETFree
Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts.
Sign in to write a review
Anywhere to get the older versions?
I decided to give it another try after last used in VS2010.
Love the idea, and the implementation works pretty well - we've standardized on code contracts and have used it for several years.
While it takes some serious investment in your code to get value from code contracts, once you do so you'll never want to go back!
Uninstalled 1.5 from Add/Remove Programs. Deleted Code Contracts folder from Visual Studio Extensions folder. But it still shows as installed in Visual Studio. Tried to search in registry. No luck. Where else can I look?
Failed to upgrade from 1.5 to 1.6 - installation passes, but VS2013U2 RTM sees still V1.5 and notifies me about update, loop closes here. Unistalling 1.5 is always gray (running VS as admin or not)...
Build performance degradation kills all the good things in this solution.
Need a new releases!
Hi, CC should work with VS2013 without any problem.
Not working in VS 2013
It's Dec. 12, 2013. I have VS 2008 with Framework 3.5.
Great tools! When will be released version with Visual Studio 2013 RTM full support?
I previously used Code Contracts back in 2010 and 2011 (with Pex). Worked well. Good concept especially linked with Pex (aka Digger). After upgrading to VS2013, I tried to use Code Contracts on a new project, however after installing, it completely crashes VS2013 Premium - everything is broken, all docked windows are showing exception messages. Extensions are failing to load. Eventually VS "stops" according to Windows. The solution is to repair the VS2013 installation. I will not install this again - especially since PEX is not supported in VS2013.
Great concept, decent implementation. It's good enough that I've chosen to standardize my dev team on it; and I haven't seen anything comparable in any other programming environment. The concept is definitely 5 stars, but the implementation is 3 stars IMO:
After a while, one is wondering, how one could write projects without this tool.
Code Contracts doesn't work with Resharper :( Any plans for supporting R#?