Code Contracts in .NET 4.0

Since Visual Studio 10 BETA 1, the code contract library is fully integrated in .NET Framework 4.0. The VS 10 BETA1 installs by default the framework version 4.0.205506. In installation folder of .NET 4.0 there is as usual assembly mscorlib.dll which implements Code Contract functionality in the namespace System.Diagnostics.Contracts.

Code Contract static methods are by default integrated in the framework, but if you want to use full functionality with static and dynamic checking, you should install the code contract package.

After installing following will appear in project settings:

Remarks: Run as Administrator on the picture above does not belongs to contract library!