How to adjust analysis timeout through UI

Question

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.

Answer 1

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