I am thinking of adding code contracts to our project. We use C # and Visual Studio 2015. I read that code contracts were broken for this version due to the new Roslyn compiler. It's 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 set up contracts on codes on their machines?
I want to be sure that my commit will not break the build if my team decides not to use contracts.
Senya source share