Доброго времени суток

Имеется солюшн, в котором интерфейсы - в одном проекте, а реализация, соответственно, во втором. Для проверки параметров методов интерфейсов/классов на допустимость используются контракты, а именно CodeContracts. Т.е. в качестве платформы - MSVS 2012 / CodeContracts 1.5.60813.10.

Если я в проекте с интерфейсами создам класс-реализацию одного из них, то контракты интерфейсов работают отлично (встраиваются в код класса, реализующего интерфейс), если же класс-реализация находится в другом проекте того же решения, то контракты интерфейсов, судя по всему, в код класса не встраиваются и соотв. проверки при работе с экземпляром данного класса не выполняются.

Пример проекта здесь: http://www62.zippyshare.com/v/58772452/file.html

Не подскажете, в чем может быть причина?

Torre, спасибо Вам за то, что озаботились вопросом.
Только что проверил - в свойствах проектов, на вкладке "Code Contracts" опция "Contract Reference Assembly" должна быть равна "Build", тогда все работает.