How to adjust analysis timeout through UI

136 Views Asked by At

Is there a way to adjust the analysis timeout through the Code Contracts Editor Extension UI? If not, is there some other way to tweak this setting from within Visual Studio? I don't see any calls to cccheck in the .csproj file so I'm unclear on how it's integrated into the build process.

1

There are 1 best solutions below

0
On BEST ANSWER

You can specify additional command line options for cccheck.exe in Project properties > Code Contracts (tab) > Extra Static Checker Options.

Screenshot