In order to fully benefit from Code Contracts you need to install the extension for Visual Studio. There's also a Code Contracts User Manual.