These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Jan 05 2016 09:43
If you compile master (or compile the latest version and cherry-pick 0c1060b you'll get the error messages showing up again.
Jan 05 2016 18:13
Hi there, i don't see a lot of things regarding CodeContracts in vNext on web, does someone can give an update on this. (PS: never use codeContracts, want to start using now)
Jan 05 2016 23:36
I don't believe Code Contracts supports dnx/CoreCLR/etc. projects, there's an issue somewhere requesting it.