Search code examples
c#visual-studio-2015code-contracts

Are code contracts for vs 2015 stable now?

I'm thinking about adding Code Contracts to our project. We use C# and Visual Studio 2015. I have read that Code Contracts were broken for this version because of new Roslyn Compiler. Is it still true?

Also if it turns out that I will be the only person in the team who uses code contracts is it necessary for others to install code contracts on their machines?

I want to be sure that my commit won't break the build if my team decides to not use the contracts.

Solution

  • It seems that Code Contracts project is abandoned. There is no re-writer for .net core/.net 5 and the project lead switched from Microsoft Research to Facebook. Here are some other related SO questions with links:

    Are code contracts supported in .net core?

    What happened to Code Contracts?