Я недавно скачал Visual Studio 2010b2 и хотел бы переоценить некоторые мои вопросы о статической проверке контрактов Microsoft.
Мне удалось повторно использовать большую часть кода с помощью пространства имен System.Diagnostics.Contracts для кода, но я не уверен, как включить статическую проверку. Нужен ли дополнительный плагин?
У меня сложилось впечатление, что проектирование по контракту должно было "просто работать" в VS2010.
Спасибо за вашу помощь.