我有一个visual studio解决方案，其中包含分别用ContractClass和ContractClassFor装饰的接口和契约的项目。
该解决方案在Visual Studio 2010下正确构建，但不能使用Visual Studio 2012构建。错误：
EXEC：错误CC1019：输入 'Namespace.Interface'指定类 'Namespace.ContractClass'作为它的 合同类
我更新到Code Contract工具的最新版本（1.4.50813.1），运行“devenv / setup”并重新启动机器。
对此有何帮助？感谢
答案 0 :(得分：0)
您是否尝试从属性窗口中删除"Perform Static Contract Checking"？
答案 1 :(得分：0)
Visual Studio允许您通过Visual Studio的项目属性页面更改CodeContract选项。
MSDN上有一篇很好的文章，有一些截图可以帮助你（http://msdn.microsoft.com/en-us/magazine/hh148151.aspx）有一个标有“执行静态合同检查”的复选框，这是导致这些问题的常见原因。
如果这不能解决您的问题，我是否可以建议您将VS2012中的设置与VS2010中的设置进行比较。