This repository has been archived by the owner on Mar 9, 2021. It is now read-only.

Support CodeContracts #389

Open

mudHOAX opened this issue Feb 26, 2015 · 0 comments

Labels

fixed-but-not-released

Milestone

mudHOAX commented Feb 26, 2015

Currently there is no support for CodeContracts.
http://research.microsoft.com/en-us/projects/contracts/

mudHOAX mentioned this issue

Support CodeContracts #390

Closed

erik-kallen added this to the 3.0 milestone

erik-kallen added the fixed-but-not-released label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.