Может ли кто-то пролить свет на то, как использовать пакет DotNet.Contracts NuGet в Visual Studio 2015 и 2017? Является ли это единственным компонентом, необходимым для использования Code Contracts в Visual Studio ???Как использовать пакет DotNet.Contracts NuGet?
Должен ли я по-прежнему устанавливать Contracts.devlab9ts.msi ??? При попытке установить Contracts.devlab9ts.msi я получил ошибку «Расширения» не являются допустимым коротким именем файла. Это происходит на моем компьютере с Windows 10 dev с последними обновлениями Windows.
Если нам еще нужно установить Contracts.devlab9ts.msi, в чем цель пакета NuGet?
Установка контрактов.devlab9ts.msi (v1.10.20606.1) на Windows 7 Pro работает. Похоже, последние обновления Windows 10 вызывают ошибку «Расширения», которая не является допустимым коротким именем файла. – user2106007