我在VS2015中开发的C＃项目使用Code Contracts。自从Microsoft开源以来，该工具已经过时了，我不打算在VS2017中使用它。也就是说，当我尝试在VS2017中运行项目的单元测试时，它抱怨需要使用CCRewrite重写程序集，因为该程序集包含前提条件。当我使用前提创建新的VS2017项目（作为测试）时，没有出现此错误。
我该怎么做才能消除旧项目中的错误消息？
最佳答案
我最终发现another post指出Contract.Requires<TException>(...)需要重写器，而Contract.Requires(...)则不需要。在我的项目中进行此更改后，它现在可以在VS2017中正确执行。