These are chat archives for Microsoft/CodeContracts
@SergeyTeplyakov we need to review the formatting PRs before they are merged.
It helps to use better diff software, such as Beyond Compare for it
I'm in parental leave right now :) but hope to review those changes:)
Nope, definitely referring to Code Contracts. Messages and warnings still show up in the errors list window for me in VS2013, but not in VS2015. I see the expected results in the Output window, but they don't make it to the errors list.
I'm not using VS2015 right now as well. Lets double check and just open the issue.