Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта опция доступна в узле Точность.

файл командной строки и параметров: Использовать параметр -timeout. См. раздел Сведения о командной строке.

Зачем использовать этот параметр

Этот параметр используется для ограничения времени проверки.

По умолчанию, если внутренний шаг проверки длится более 24 часов, проверка прекращается. Эту опцию можно использовать для дальнейшего сокращения лимита времени. Обратите внимание, что результаты проверки могут быть получены, несмотря на истечение времени ожидания проверки. Например, если истечет время ожидания шага на уровне анализа безопасности программного обеспечения 1, результаты по-прежнему будут получены на уровне 0. Посмотрите Verification level (-to).

Опция полезна только в очень конкретных случаях. Предположим, что код имеет определенные конструкции, которые могут замедлить проверку. Чтобы проверить это, можно установить ограничение по времени для проверки, чтобы проверка была остановлена, если она занимает слишком много времени.

Обычно служба технической поддержки просит вас использовать этот параметр по мере необходимости.