如何通过UI调整分析超时

Question

有没有办法通过Code Contracts Editor Extension用户界面调整分析超时？如果没有，是否有其他方法可以在Visual Studio中调整此设置？我没有在.csproj文件中看到任何对cccheck的调用，所以我不清楚它是如何集成到构建过程中的。

Answer 1

您可以在项目属性＆gt;中为cccheck.exe指定其他命令行选项。代码合同（标签）＆gt;额外的静态检查选项。