Como faço para configurar o Microsoft Contratos verificação estática no Visual Studio 2010?

Question

Recentemente fiz o download Visual Studio 2010b2, e queria re-avaliar algumas das minhas perguntas sobre o Microsoft contratos verificador estático.

Eu consegui reutilização maior parte do código usando o namespace System.Diagnostics.Contracts para o código, mas não tenho certeza de como habilitar o verificador estático. Preciso de um plug-in adicional?

Eu estava sob a impressão de que o design a contrato era para "apenas trabalho" no VS2010.

Obrigado por sua ajuda.

Answer 1

Eu estava esperando que ele iria 'trabalhar apenas', também. Isso não acontece. Você ainda precisa instalar os bits para obter a verificação estática .