Контракты Microsoft Code без Visual Studio

Этот вопрос о переполнении стека:

Microsoft Code Contracts and CI build server

спрашивает, как заставить контракты кода работать на сервере сборки без установки Visual Studio 2010. Мы пытаемся сделать то же самое . Мы выполнили шаги, описанные в принятом ответе, но не смогли заставить его работать.

CodeContracts не будет устанавливаться на сервере сборки, если не установлена ​​Visual Studio. Итак, следуя предложению, мы сделали следующее:

1. Мы скопировали содержимое % programfiles% \ Microsoft \ Contracts \ Bin с машины разработки с установленными Visual Studio 2010 Ultimate и Code Contracts Premium на сервер сборки.
2. Мы также скопировали папку MSBuild \ v4.0 , которая содержит Microsoft.CodeContracts.targets и Microsoft.CodeContractAnalysis.targets .

Согласно документации CodeContracts

Использование msbuild в проекте или решении, которое использует контракты, включенные через пользовательский интерфейс VS, будет выполнять те же действия, что и соответствующая сборка в VS.

Это наш вариант использования, мы ' просто вызовите MSBuild для нашего файла решения, как показано ниже. Файл решения создается с помощью Visual Studio со всеми ожидаемыми параметрами контракта кода, настроенными для перезаписи.

Но модуль перезаписи не вызывается.

Есть ли у кого-нибудь предложения относительно того, что нам не хватает, и / или предлагаемые шаги по устранению неполадок ?