Could someone shed some light on how to use the DotNet.Contracts NuGet package in Visual Studio 2015 and 2017? Is it the only component required to use Code Contracts in Visual Studio???
Do I still need to install Contracts.devlab9ts.msi??? When trying to install Contracts.devlab9ts.msi, I got error 'Extensions' is not a valid short file name. This occurs on my Windows 10 dev machine, with latest Windows updates.
If we still need to install Contracts.devlab9ts.msi, what's the purpose of the NuGet package?
You just need to install the DotNet.Contracts NuGet Package in your project, because this package contains all Code Contracts related files.
Please refer to: https://github.com/Microsoft/CodeContracts/issues/13
The Contracts.devlab9ts.msi could be installed on my Windows 10 build 10240 successful. If you still want to install Contracts.devlab9ts.msi for your Visual Studio, please check your Windows 10 version and make sure your Windows 10 dev has installed all updates.