c# - 我可以手动运行代码契约(Contract)分析吗？

Question

当我重建我的 C# 应用程序时，我经常得不到我的代码契约分析的结果。这是由以下错误信息引起的

CodeContracts: MyApp.Client.Model: Analysis method MyApp.Client.Model.MyClass.CreateCalculatedElements(System.Collections.Generic.List1<System.Collections.Generic.KeyValuePair2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Object>>>,System.Collections.Generic.Dictionary2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Decimal>>,System.Collections.Generic.Dictionary2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Decimal>>) timed out

这里是方法的定义

internal void CreateCalculatedElements(
List<KeyValuePair<string, ICompiledFunction<object>>> preFinalCalculationScripts,
Dictionary<string, ICompiledFunction<decimal>> factorCalculators,
Dictionary<string, ICompiledFunction<decimal>> elementCalculators)

这并不总是超时。有没有一种方法可以通过重建解决方案为一个项目而不是所有项目手动运行契约(Contract)检查？

Answer 1

您可以通过向属性 Pane 中的静态检查选项添加额外选项来增加该项目的超时时间，如下所示:-timeout

默认为 180，这是每个方法。

关于您最初的问题，是的，您可以按如下方式手动运行工具:

假设你的项目 P 在目录 D 中，然后转到 D\obj\Debug\Decl。在那里您会找到一个名为 Pcccheck.rsp 的方便文件，其中包含在构建期间传递给 cccheck 的参数。要再次运行分析，您只需发出:cccheck @Pcccheck.rsp

目前，没有选项可以在不重建的情况下仅触发对一个项目的重新分析。