Так что, похоже, в свойствах Visual Studio 2010 должна быть вкладка «Контракты кода». Я не могу найти это нигде. Может быть, это проблема с моей установкой Visual Studio? Я использую версию RC.
Вот что у меня есть:
альтернативный текст http://img192.imageshack.us/img192/5928/lcmitpm2aur5e4uiabdtofw.png
Кто-нибудь знает, что может быть не так? Может я смотрю не в том месте?
Спасибо
Сначала необходимо загрузить и установить код контракта . Даже тогда вы получите только проверку контрактов во время выполнения. Для статической проверки требуется премиум-версия Visual Studio.
Вы действительно установили Code Contracts от DevLabs ?