Задать опцию

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

Командная строка и файл опций: Используйте опцию -timeout. См. «Информация о командной строке».

Зачем использовать эту опцию

Используйте эту опцию, чтобы ввести предел по времени для верификации.

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

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

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