These are chat archives for Microsoft/CodeContracts

28th
Jan 2016
Yaakov
@yaakov-h
Jan 28 2016 02:23
I have a reproducible but not repro-case-able crash in ccrewrite if I remove a Contract.Assumes call. @SergeyTeplyakov is there a way I can get a crash dump for analysis?
Yaakov
@yaakov-h
Jan 28 2016 04:49
hmm, modifying some more contracts in the assembly fixed the crash. That's worrying.
Onur Gumus
@OnurGumus
Jan 28 2016 07:48
have you seen this analysis: http://www.viva64.com/en/b/0361/
it shows many bugs in code contracts source code.
Aleksandr Vishnyakov
@asvishnyakov
Jan 28 2016 11:45
@ReverseBlade Microsoft/CodeContracts#322
Sergey Teplyakov
@SergeyTeplyakov
Jan 28 2016 22:53
@yaakov-h Not sure about crash dumps... If you would have repo it would be easier any way..