Visual Studio 2010 の Code Contracts

DevLabs から別途ダウンロード&インストールするとして、


 BCL Team Blog : I just installed Visual Studio 2010, now how do I get Code Contracts? [Melitta Andersen]
 http://blogs.msdn.com/bclteam/archive/2010/01/26/i-just-installed-visual-studio-2010-now-how-do-i-get-code-contracts-melitta-andersen.aspx


インストールが終わったらリブート(少なくともログオフ&ログオン)すること。(これ重要)
Visual Studio が環境を構築し直す必要があるらしい。