visual-studiocode-contracts
How to adjust analysis timeout through UI
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.
Solution
You can specify additional command line options for cccheck.exe in Project properties > Code Contracts (tab) > Extra Static Checker Options.
