C # Code Contracts время сборки - как мне его улучшить?

Question

Как мне определить, какие доказательства являются наиболее трудоемкими, чтобы иметь возможность помочь верификатору вместе с Assert s?

Есть ли способ лучше, чем угадывать и проверять

Answer 1

Вроде. Вы можете найти самые медленные методы с помощью опции -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

Я не уверен, есть ли способ найти имя метода по номеру метода.

Answer 2

Используйте для этого профилировщик, например, встроенный в Visual Studio.Вы можете добраться до него из Анализ меню.Он покажет вам время и количество событий для всех методов в вашем коде.

Конечно, есть и сторонние решения, например Ants Profiler