c# - 接口上的 CodeContracts 不适用于一个解决方案中的不同项目

Question

我有一个解决方案，其中一个项目包含公共接口和另一个 - 它们的实现。接口用契约装饰。在测试过程中发现

• 如果接口实现与相应接口在同一个项目中，则合同引擎可以正常工作
• 如果接口实现在另一个项目中作为相应的接口而不是合同引擎不起作用。

可以做些什么来解决这个问题？

示例项目在这里：http ://www62.zippyshare.com/v/58772452/file.html (68 kB)

平台：MSVS 2012 / CodeContracts 1.5.60813.10

Answer 1

您是否启用了构建合同参考程序集（手册第 6.5 节）？该功能旨在准确解决此问题。