How to adjust analysis timeout through UI

StackOverflow https://stackoverflow.com/questions/20553829

  •  01-09-2022
  •  | 
  •  

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.

Was it helpful?

Solution

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

Screenshot

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top