如何使用 DotNet.Contracts NuGet 包？
How to use DotNet.Contracts NuGet package?
有人可以阐明如何在 Visual Studio 2015 年和 2017 年使用 DotNet.Contracts NuGet 包吗？它是在 Visual Studio 中使用代码契约所需的唯一组件吗？？？
我还需要安装 Contracts 吗？devlab9ts.msi???尝试安装 Contracts.devlab9ts.msi 时，出现错误 'Extensions' is not a valid short file name. 这发生在我的 Windows 10 dev 机器上，最新 Windows 更新。
如果我们还需要安装 Contracts。devlab9ts.msi，NuGet 包的用途是什么？
您只需要在您的项目中安装 DotNet.Contracts NuGet 包，因为该包包含所有与代码契约相关的文件。
请参考：
https://github.com/Microsoft/CodeContracts/issues/13
Contracts.devlab9ts.msi 可以成功安装在我的 Windows 10 build 10240 上。如果您仍想为您的 Visual Studio 安装 Contracts.devlab9ts.msi，请检查您的 Windows 10 版本并确保您的 Windows 10 dev 已安装所有更新。
有人可以阐明如何在 Visual Studio 2015 年和 2017 年使用 DotNet.Contracts NuGet 包吗？它是在 Visual Studio 中使用代码契约所需的唯一组件吗？？？
我还需要安装 Contracts 吗？devlab9ts.msi???尝试安装 Contracts.devlab9ts.msi 时，出现错误 'Extensions' is not a valid short file name. 这发生在我的 Windows 10 dev 机器上，最新 Windows 更新。
如果我们还需要安装 Contracts。devlab9ts.msi，NuGet 包的用途是什么？
您只需要在您的项目中安装 DotNet.Contracts NuGet 包，因为该包包含所有与代码契约相关的文件。
请参考： https://github.com/Microsoft/CodeContracts/issues/13
Contracts.devlab9ts.msi 可以成功安装在我的 Windows 10 build 10240 上。如果您仍想为您的 Visual Studio 安装 Contracts.devlab9ts.msi，请检查您的 Windows 10 版本并确保您的 Windows 10 dev 已安装所有更新。