在使用CC的特定项目上，构建时visual-studio-2013的错误列表窗口中会显示以下消息：
CodeContracts：无法连接到缓存。 CodeContracs静态
检查不会运行
谷歌搜索，我发现here可以使用以下额外的静态检查器选项跟踪连接到缓存的尝试：
-trace：高速缓存
然后CC输出变得更加冗长：
- CodeContracts：MyAssembly：[cache] Clousot版本字符串：1.7.10908.11
- CodeContracts：MyAssembly：[cache]切片时间戳：2014-09-25 10:55:50
- CodeContracts：MyAssembly：[cache]无法打开缓存：无法检查模型兼容性，因为数据库不包含模型元数据。只能检查使用Code First或Code First Migrations创建的数据库的模型兼容性。
- CodeContracts：MyAssembly：尝试连接缓存服务器所花费的时间：00：00：01.4948105
- CodeContracts：MyAssembly：Diagnostic：无法连接到任何缓存。
所以，这似乎是CC引擎内部的一个内部错误，它将分析信息存储到内部创建的缓存中（我没有指定我的任何Sql服务器进行缓存）。
我设法发现默认缓存文件存储在AppData / Local / CodeContracts中。不幸的是，即使删除整个目录也没有解决问题。
关于下一步应该是什么的任何想法？