These are chat archives for Microsoft/CodeContracts

Jan 2017
Jeroen Mostert
Jan 10 2017 20:29
I'm trying to use CC on a .NET Core project (don't laugh). I know CoreCLR itself doesn't use it, and VS has no support etc., that's alright. My main stumbling block is that I can't get ccrewrite to emit assemblies .NET Core likes. In particular, it futzes up the metadata references so that (e.g.) a reference to System.Private.CoreLib is included for System.Object. Is this something I could fix with some elbow grease or is it intrinsically hopeless?