Microsoft代码合同:错误"CodeContracts:Diagnostic:无法连接到任何缓存."

Question

运行Microsoft代码合同时出现以下错误:

CodeContracts:诊断:无法连接到任何缓存.

Answer 1

代码合同的用户手册指出:

缓存结果:控制是否缓存分析结果.如果选中,则分析会尝试避免分析其结果无法更改的方法(因为没有合同,没有代码,也没有相关的元数据发生更改).如果反复使用静态检查器,启用此选项可以加快周转时间.要在多个开发人员之间共享缓存,请使用SQL Server并将服务器名称放在UI中的SQL Server配置框中.注意:SQL Server连接使用Windows身份验证登录服务器.您的开发人员需要有权创建和修改数据库.

找出计算机上安装的SQL Server的正确名称(请注意,"localhost"将不起作用;它必须是实际的计算机名称):

右键单击项目,选择"属性",转到"代码约定"选项卡(在列表底部),然后添加您的机器名称:

这适用于版本1.5.60911.10(2013年9月11日).也许未来版本的代码约定将尝试连接到"localhost"和/或在此框中接受"localhost",和/或自动检测SQL Server 2012.

在我的特定情况下,我没有安装"(localdb)\ V11.0"; 如果我已经安装了它,那么它就可以开箱即用(它必须在内部默认).