Un assembly (probablement "{1}") doit être réécrit à l'aide du module de réécriture binaire de contrats de code (CCRewrite), ...

Un assembly (probablement "{1}") doit être réécrit à l'aide du module de réécriture binaire de contrats de code (CCRewrite), car il appelle Contract.{0} et que le symbole CONTRACTS_FULL est défini. Supprimez toute définition explicite du symbole CONTRACTS_FULL dans votre projet et régénérez ce dernier. Vous pouvez télécharger CCRewrite sur le site http://go.microsoft.com/fwlink/?LinkID=169180.
Une fois le module de réécriture installé, vous pouvez l'activer dans Visual Studio à partir de la page Properties du projet dans le volet Code Contracts. Vérifiez que l'option "Perform Runtime Contract Checking" est activée afin de définir CONTRACTS_FULL.