C# 代码合同检查器-Can'；无法解析引用的程序集

我正在尝试对引用外部程序集的项目运行代码契约检查，但契约检查器无法解析引用

在构建时，它会出现以下错误：

CodeContracts: Cannot load assembly '<Assembly to check>'
...
warning : CodeContracts: Assembly load resulted in metadata import error 'Assembly reference not resolved: <referenced assembly>.'

CodeContracts:无法加载程序集“”
...
警告：CodeContracts:程序集加载导致元数据导入错误“未解析程序集引用：。”

cccheck命令具有以下参数

-libPaths <string-arg>          : Search paths for reference assemblies
-resolvedPaths <string-arg>     : Candidate paths to dlls/exes for resolving references

-libpath:搜索引用程序集的路径
-ResolvedPath：用于解析引用的DLL/EXE候选路径

我曾尝试在项目设置中将这两个选项都设置为“额外静态检查选项”，但得到了相同的错误

---

关于下一步尝试什么有什么建议吗？

您使用的是什么版本的Visual Studio？Visual Studio 2013 Premium 12.0.31101.00 Update 4了解传递给重写器的命令行也很好，您应该能够在Visual Studio的输出窗口中看到该命令行。另外，哪种版本的代码契约？检查这个问题的公认答案，因为它似乎可以解决相同的问题。