Do not work with visual studio 2017

wavebit commented 7 years ago

After installing this, I got nothing https://marketplace.visualstudio.com/items?itemName=RiSEResearchinSoftwareEngineering.CodeContractsforNET

SlyckLizzie commented 7 years ago

Same thing here. Does not work with VS 2017.

Ithalica commented 6 years ago

Same. Any progress on this?

baSSiLL commented 6 years ago

Unfortunately, Code Contracts still lack "official" support for VS 2017, even the latest sources. However, you can get a limited support for VS 2017 and target runtimes v4.7.x by using CodeContracts.MSBuild Nuget package instead of Code Contracts installer. https://www.nuget.org/packages/CodeContracts.MSBuild/ Limitations of the package:

There's still no extension for VS 2017 adding Code Contracts pane into project properties editor. Therefore you need to add/edit project settings for Code Contracts manually in the project file.
The package ships with the latest stable release of Code Contracts (v1.9.10714.3). So some bugs which have been fixed in sources and release candidates for v1.10 (https://github.com/Microsoft/CodeContracts/releases) are still there. For instance, be careful using closures in constructors as this may lead to NullReferenceException while checking preconditions (https://github.com/Microsoft/CodeContracts/issues/191).

Igorbek commented 6 years ago

A new version 1.11-alpha of CodeContracts.MSBuild has been released with updated binaries (from the latest RC). It will be in alpha for 2 weeks. Enjoy!

NameOfTheDragon commented 6 years ago

I find it impossible to take a dependency on CodeContracts unless there is at the very minimum a roadmap for supporting VS2017 and future versions. This is far and away the best contract technology out there and I really want to be able to use it, but I can't have my entire development tool chain held back by it.

yaakov-h commented 6 years ago

Don’t.

microsoft / CodeContracts

Do not work with visual studio 2017 #493