[Mono-list] Code Contracts from Microsoft DevLabs

[Bojan Rajkovic]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Tom Opgenorth wrote:
> Just curious, has anybody given Code Contracts for .NET
> (http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx) a try under
> Mono to see if/how well they work?
>
I think someone just volunteered themselves.

- --
Bojan Rajkovic <bojanr at brandeis.edu>
Biochemistry '10, Brandeis University
PGP Signature Key ID: 0x8783D016
PGP Encryption Key ID: 0x2497B8B2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iQIcBAEBCAAGBQJKLsb1AAoJEO4IwQyHg9AW3zEQAMRkmpAyUZqucNwJMAZjo5s1
zEx1m1KYcdG80iFAbIjZEe4MEvW47rnE5Q29JLDb4gQPzj+yMz9WIjwLkjAe9Ll2
mkqdFkhtohO5dPTjIi6+7UG6fiemDSDMdyESz9xVqU/2DpvUZfHuxOp9nmGOy/QO
o7O8PUGbNlGiV5O6dsFRVzgEbCtNcvMjbuJnUeve96AvYI7ScgoD3ch8KvfevUBm
m++/S2Yz4wfDju7McNyn8LWjRXdCKeeGDoPUtHq/QIC8xe0lPHlk+oposSGCS/qJ
T5B74HtXzPNG2YPJNt7gRYXJt7yw7BPWughiemFH0b1szFmpu8P0NDD3VsCqV+hM
Tqv34RRU00GirQ++3EwoY3jUkk1mLetVfMFztSyhdVn4Rz6hKC9Rvjx7x+y6MuT9
TLBPqxzgQF7bxs/Ql/7WTlN4wIm3/bYQI3D+Sg837Kh8RCr6q8T5s6yPCE/eVD+Y
v2ehkrIM3xgct2Zako/D47mhkogQVIF1lkk4em9QkWbV848kHqpa3wroL8oPpH4x
Plptupo6TNpWDqWKIADkrL9HqHCiR2fID/m6dfm6kyqP3X8GUmpY8plJYBkt3suw
/RPm0KDO8QsFgntrePHWw17pEX5vrBfHJ6D6u4TQ/4SNb6H6pqNx2rgegbEdVHZk
rg+6ZwdvmRAyzOOCXJ4U
=Mg4r
-----END PGP SIGNATURE-----