Почему вкладка «Кодовые контракты» не отображается в VS 2010?

Question

На днях я увидел демонстрацию Code Contracts и решил попробовать ее в небольшом тестовом проекте.

Я могу настроить код Code Contracts надлежащим образом после добавления 'с использованием System.Diagnostics.Contracts«Заявление для классов, но контракты, похоже, не соблюдаются.

Есть ли причина, по которой я не вижу вкладку «Кодовые контракты» на экране свойств проекта?

Answer 1

Вам нужно установить инструментарий Dev Labs, чтобы показать интеграцию Visual Studio.

Кодовые контракты являются частью .Net 4, но инструментальные средства по умолчанию не являются частью VS 2010

Его можно скачать здесь: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx