前几天我看到了Code Contracts的演示，并决定在一个小测试项目中试一试。
我可以在向类中添加'using System.Diagnostics.Contracts'语句后适当地设置我的代码合约代码，但似乎没有强制执行合同。
我是否有理由不在项目属性屏幕上看到“代码合约”标签？
答案 0 :(得分：5)
您需要安装Dev Labs工具包才能显示Visual Studio集成。
代码合同是.Net 4的一部分，但默认情况下，工具不是VS 2010的一部分。
可以从这里下载：http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx