如何使用DotNet.Contracts NuGet包？

Question

有人可以了解如何在Visual Studio 2015和2017中使用DotNet.Contracts NuGet包吗？它是在Visual Studio中使用代码约定所需的唯一组件吗？

我还需要安装Contracts.devlab9ts.msi ???在尝试安装Contracts.devlab9ts.msi时，我收到错误'Extensions'不是有效的短文件名。这种情况发生在我的Windows 10开发计算机上，带有最新的Windows更新。

如果我们仍然需要安装Contracts.devlab9ts.msi，那么NuGet包的目的是什么？

Answer 1

您只需在项目中安装DotNet.Contracts NuGet包，因为此包包含所有与Code Contracts相关的文件。

请参阅： https://github.com/Microsoft/CodeContracts/issues/13

Contracts.devlab9ts.msi可以成功安装在我的Windows 10 build 10240上。如果您仍想为Visual Studio安装Contracts.devlab9ts.msi，请检查您的Windows 10版本并确保您的Windows 10 dev已安装所有更新。