Include Code Contracts features in all editions of Visual Studio
Include Code Contracts features in all editions of Visual Studio. Requiring Ultimate edition makes this very useful feature useless when working with others who do not have Visual Studio Ultimate.
As a side note, I talked this feature up at our company from Spec# to the Code Contracts SDK only to be disappointing when we couldn't adopt it in the end because it was exclusive to higher additions of Visual Studio, we currently use Professional.
This has been completed. Code Contracts is now open-source (https://github.com/Microsoft/CodeContracts). Please use the issues there to report problems.
Hello, can we get this issue closed seeing that the request was satisfied in Visual Studio 2012?
Cool, can we get this closed then so I can have my vote back?
Marcos Meli commented
Posted by Microsoft on 6/7/2012 at 9:36 AM
You might be interested to learn that Microsoft Research recently shipped the static checker as part of the Code Contracts tools:
“The static checker is now available in all editions of Visual Studio (except for Express), so there is now just one edition of Code Contracts.”
Base Class Libraries Team