Un assembly (probablement "<var>Y</var>") doit être réécrit à l'aide du module de réécriture binaire de contrats de code (CCRewrite), car il appelle Contract.<var>X</var> 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.

An assembly (probably "<var>Y</var>") must be rewritten using the code contracts binary rewriter (CCRewrite) because it is calling Contract.<var>X</var> and the CONTRACTS_FULL symbol is defined. Remove any explicit definitions of the CONTRACTS_FULL symbol from your project and rebuild. CCRewrite can be downloaded from http://go.microsoft.com/fwlink/?LinkID=169180. After the rewriter is installed, it can be enabled in Visual Studio from the project's Properties page on the Code Contracts pane. Ensure that "Perform Runtime Contract Checking" is enabled, which will define CONTRACTS_FULL.

Search by Google