Visual studio 2013 代码合同可以'；无法连接到它自己创建的缓存

在使用CC的特定项目上，生成时在的错误列表窗口中显示以下消息：

CodeContracts:无法连接到缓存。CodeContracs是静态的 支票将不运行

通过谷歌搜索，我发现可以使用以下额外的静态检查器选项跟踪连接到缓存的尝试：

-跟踪：缓存

然后，CC输出变得更加详细：

• CodeContracts:MyAssembly:[cache]Clousot版本字符串：1.7.10908.11
• CodeContracts:MyAssembly:[缓存]切片时间戳：2014-09-25 10:55:50

---

• CodeContracts:MyAssembly:[cache]无法打开缓存：无法检查模型兼容性，因为数据库不包含模型元数据。只能对使用代码优先或代码优先迁移创建的数据库检查模型兼容性。
• CodeContracts:MyAssembly:尝试连接到缓存服务器所花费的时间：00:00:01.4948105
• CodeContracts:MyAssembly:Diagnostic:无法连接到任何缓存

因此，不知何故，这似乎是CC引擎内部的一个内部缺陷，与它将分析信息存储到内部创建的缓存中的方式有关（我没有为缓存指定我的任何Sql server）

我设法发现默认缓存文件存储在AppData/Local/CodeContracts中。不幸的是，即使删除整个目录也不能解决问题

---

关于下一步应该做什么有什么想法吗？

实体框架错误可能是“无法检查模型兼容性，因为数据库不包含模型元数据。只能对使用代码优先或代码优先迁移创建的数据库检查模型兼容性”。听起来好像数据库模式已更改。您是否尝试过清理项目并重试？否则，我认为发布到将使您得到更快的响应。@PeterRitchie是的，我尝试过。我还尝试删除缓存目录，但它产生的问题比解决的问题还多。：）现在我正在尝试修复CC安装程序。如果这没有帮助，那么是的，我会尝试在那个论坛上发帖。谢谢