L’équipe de Code Contracts vient de publier une nouvelle Release de Code Contracts version 1.5.60911.10.
Cette release corrige énormément de bugs concernant l’outil de vérification statique du code (cccheck.exe).
Vous pouvez télécharger cette release directement sur le site de la galérie de Visual Studio.