What happened to Code Contracts?

user_190480 0
Viewed 825

Code contracts was all over the blogosphere years ago before the .NET 4 release, the runtime components included in .NET 4 and the static checker made available in the more expensive Visual Studio 2010 editions.

The buzz around code contracts appear to have died down though, are people using it in production? Is any more work being done on it from Microsoft Research?

code-contracts .net
2 Answers

It's still being used within the .NET Framework itself (at least as of 4.51). For an example, take a look at the implementation of the System.Text.StringBuilder class.

user_2512670
Related