代码约定无法连接到它自己创建的缓存

Question

在使用CC的特定项目上,构建时在visual-studio-2013的错误列表窗口中显示以下消息:

CodeContracts:无法连接到缓存.CodeContracs静态检查将无法运行

谷歌搜索的时候,我已经找到了这里,这是可以跟踪尝试连接到使用以下额外的静态检查选项缓存:

-trace:缓存

然后CC输出变得更加冗长:

• CodeContracts:MyAssembly:[cache] Clousot版本字符串:1.7.10908.11
• CodeContracts:MyAssembly:[cache] Slice时间戳: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中.不幸的是,即使删除整个目录也无法解决问题.

关于下一步应该是什么的任何想法？