design-by-contract - Visual Studio 2010 で Microsoft Contracts の静的チェックを設定するにはどうすればよいですか?

Question

最近 Visual Studio 2010b2 をダウンロードしましたが、Microsoft 契約の静的チェッカーに関するいくつかの質問を再評価したいと思いました。

コードの名前空間を使用してほとんどのコードを再利用System.Diagnostics.Contractsできましたが、静的チェッカーを有効にする方法がわかりません。追加のプラグインが必要ですか?

VS2010 では、契約による設計は「そのまま機能する」はずだという印象を受けました。

ご協力いただきありがとうございます。

Answer 1

私もそれが「うまくいく」ことを望んでいました。そうではありません。静的チェックを行うには、ビットをインストールする必要があります。