This is mostly so google picks it up.
For those who use code contracts and Cecil there is a bug in version Code
Contracts 1.4.40314.1 (14 May).
http://research.microsoft.com/en-us/projects/contracts/releasenotes.aspx
The issue is something to do with CodeContracts assuming that variables will
be named.
To be honest I dont really understand it. But the result is that code
contracts is run on an assembly thyat has been processed by Cecil you may
get the following error.
"ccrewrite(0,0) : error : Value does not fall within the expected range."
I have had an email conversation with Francesco Logozzo and Mike Barnett and
they have confirmed the bug and stated it will be fixed in the next release.
--
--
mono-cecil
