[Mono-dev] Current state of support for Code Contracts?

Ruben Vandeginste ruben.vandeginste at gmail.com
Thu Mar 15 13:44:39 UTC 2012


Hello,

What is the current state of the support for code contracts in Mono?
I saw that there was a google summer of code project to start this
work and to implement a rewriter for Code Contracts preconditions. Has
the work advanced in the mean time? Is someone working on this?

Also... is the contracts rewriter usable in combination with the
Microsoft C# compiler?


greetings,
Ruben


More information about the Mono-devel-list mailing list