Код Контракты по различным проектам

Question

У меня есть проект с контрактами (проект A), который генерирует библиотеку и другую (проект B), которая реализует интерфейс из этой библиотеки.

Я пробовал копировать файлы контракта из проекта A в проект B и заканчивать контракты во время выполнения без проблем. Но когда я пытаюсь ссылаться на проект A из проекта B. Статический анализатор все еще работает, но проверки времени выполнения больше не работают.

Я что-то не так? Есть ли что-то, что я не понимаю о том, как работают контракты с кодом?

Answer 1

Важно: это обсуждалось здесь - CodeContracts issue

Реплицированных подобную структуру проекта в новом решении. Все работало без проблем. Я все еще не мог найти, что случилось с производственным решением.

Из отчаяния я создал новую библиотеку CompanyName.ContractsDebug. В некоторых реализациях контрактных контрактов были запущены проверки выполнения во время использования этой библиотеки. Затем я попытался найти глупое исправление, я переработал пространство имен проекта старых контрактов (CompanyName.Contracts) на новое имя (CompanyName.Shared.Contracts). И это как-то все исправило. Очень странная ошибка.

Обновление Я поспешил сказать, что он переместился на Shared.Contracts. Перемещение его на Shared.IContracts сделал. Я не знаю, что такое сделка с ключевым словом Contracts.