Как настроить тайм-аут анализа через пользовательский интерфейс

Question

Есть ли способ настроить тайм-аут анализа через интерфейс Code Contracts Editor Extension? Если нет, есть ли другой способ настроить этот параметр из Visual Studio? Я не вижу никаких вызовов для cccheck в файле .csproj, поэтому я не понимаю, как он интегрирован в процесс сборки.

Answer 1

Вы можете указать дополнительные параметры командной строки для cccheck.exe в свойствах проекта> Контракты кода (вкладка)> Дополнительные параметры статической проверки.