我正在尝试对引用外部程序集的项目运行代码合同检查，但合同检查程序无法解析引用。
构建时出现以下错误：
CodeContracts: Cannot load assembly '<Assembly to check>'
...
warning : CodeContracts: Assembly load resulted in metadata import error 'Assembly reference not resolved: <referenced assembly>.'
cccheck命令具有以下参数
-libPaths <string-arg> : Search paths for reference assemblies
-resolvedPaths <string-arg> : Candidate paths to dlls/exes for resolving references
我在项目设置中尝试将两者都设置为“额外静态检查选项”，但我遇到了同样的错误。
有关下一步尝试的建议吗？