C＃コード契約ビルド時間 - どのように改善するのですか？

Question

Assertと一緒に検証者の手助けをするには、どの証明が最も時間がかかりますか？

guess-and-checkより優れている方法はありますか？

Answer 1

たとえば、Visual Studioに組み込まれているプロファイラを使用してください。 から連絡することができます。メニューを分析してください。それはあなたのコード内のすべてのメソッドの発生回数と発生回数を表示します。もちろん

サードパーティのソリューションの例えばAnts Profiler

Answer 2

ソートもあります。最も遅い方法は、-stats slowmethodsオプションを使用して見つけることができます（-statsOnlyを使用してログ出力を簡略化することもできます）。

残念ながら、出力は次のようになります。

Methods taking the longest: 
1: Method #196, 00:00:08.1438107 
2: Method #143, 00:00:07.1916795 
3: Method #68, 00:00:02.2282228 
4: Method #71, 00:00:01.4211421 
5: Method #438, 00:00:01.3781378 
6: Method #452, 00:00:00.8640864 
7: Method #78, 00:00:00.8330833 
8: Method #439, 00:00:00.7390739 
9: Method #72, 00:00:00.5760576 
10: Method #75, 00:00:00.4090409 

は、私は、メソッドの数からメソッド名を見つける方法があるかどうかわかりません。