C#代码合约构建时——我该如何改进它

本文关键字：何改进 代码 构建 | 更新日期: 2023-09-27 18:20:33

我如何计算出哪些证明最耗时，才能帮助验证者和Assert？

有什么比猜测和检查更好的方法吗？

C#代码合约构建时——我该如何改进它

有点像。使用选项-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

我不确定是否有办法从方法编号中找到方法名称。

使用探查器，例如Visual Studio内置的探查器。您可以从分析菜单访问它。它将显示代码中所有方法的出现次数和次数。

当然也有第三方解决方案，例如Ants Profiler

相关文章：