2017 年 Visual Studio 删除代码合同

Question

我在VS2015开发的C#项目使用了Code Contracts。自从被微软开源以来，这个工具已经过时了，我不打算在 VS2017 中使用它。也就是说，当我尝试 运行 我的项目在 VS2017 中进行单元测试时，它抱怨需要使用 CCRewrite 重写程序集，因为它包含先决条件。当我创建一个带有先决条件的新 VS2017 项目（作为测试）时，我没有收到此错误。

我需要做什么才能消除遗留项目中的错误消息？

Answer 1

我终于发现 another post 指出 Contract.Requires<TException>(...) 需要重写器，而 Contract.Requires(...) 不需要。在我的项目中进行此更改后，它现在可以在 VS2017 中正常执行。