I am using Visual Studio 2010 with code contracts. And I work daily on a solution that has 20 major projects. Yes, checking runtime slows compilation time. But I accept a fine for achieving more reliable code. I noticed that your message was published in January 2010. This is over a year later, and you can find the latest version of Code Contracts rewriting code a little faster. But do not expect a miracle there.
They also improved on how code code coverage reports that use code contracts. Therefore, if this is what bothers you the most, be sure to try again with the latest version.
source share