[Mono-dev] Current state of support for Code Contracts?
ruben.vandeginste at gmail.com
Thu Mar 15 13:44:39 UTC 2012
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?
More information about the Mono-devel-list