0

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.

fuesika
  • 3,280
  • 6
  • 26
  • 34
Daniel
  • 47,404
  • 11
  • 101
  • 179

1 Answers1

0

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

Screenshot

Daniel
  • 47,404
  • 11
  • 101
  • 179