Why is the Code Contracts tab not showing up in VS 2010?

Question

I saw a demonstration of code contracts the other day and decided to give him a chance in a small test project.

I can correctly configure the code code after adding to the classes 'using System.Diagnostics.Contracts', but the contracts do not seem to be followed.

Is there a reason why I don’t see the Code Contracts tab appearing on the project properties screen?

Answer 1

You need to install the Dev Labs toolkit in order to be able to integrate Visual Studio.

Code contracts are part of .Net 4, but the tool is not part of VS 2010 by default.

: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx