是否有可能看到Code Contracts静态分析仪的进展？

Question

静态分析仪需要很长时间才能运行。这是可以理解的，它做了很多工作。但是当它在后台运行时，很难分辨出发生了什么。静态分析仪是否正在运行？是否遇到了一些阻止它完成的问题？它有多接近完成？

有没有办法看到静态分析仪的进展（或者至少是“静态分析仪当前正在运行的消息”）？

Answer 1

在Visual Studio的输出窗口中需要更多输出时。

在“代码合同”选项卡下的“额外静态检查器选项”中使用-show progress。

所有可用选项：http://pastebin.com/pgV1gE2f

您可以使用选项/?获取此输出。

Answer 2

是的，请检查Visual Studio中的输出窗口。