These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Jan 28 2016 02:23
I have a reproducible but not repro-case-able crash in ccrewrite if I remove a Contract.Assumes call.
is there a way I can get a crash dump for analysis?
Jan 28 2016 04:49
hmm, modifying some more contracts in the assembly fixed the crash. That's worrying.
Jan 28 2016 07:48
have you seen this analysis:
it shows many bugs in code contracts source code.
Jan 28 2016 11:45
Jan 28 2016 22:53
Not sure about crash dumps... If you would have repo it would be easier any way..