-automatic-orange-tester-timeout
)Укажите, что время в секундах допускало один тест в Автоматическом Оранжевом Тестере
Эта опция влияет на анализ Программы автоматического доказательства Кода только. Используйте эту опцию, только если вы рассматриваете результаты Программы автоматического доказательства Кода в десктопных решениях Polyspace®.
Укажите, что время в секундах допускало один тест. После того, как это время закончено, Автоматический Оранжевый Тестер переходит к следующему тесту. Увеличение на этот раз сокращает количество тестов, которые не завершаются, но общее время верификации увеличений.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Advanced Settings. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -automatic-orange-tester-timeout
. Смотрите информацию о Командной строке.
Значение по умолчанию: 5
Введите время в секундах. Максимальное значение, которое поддерживает программное обеспечение, равняется 60.
Эта опция включена, только если вы устанавливаете следующие опции:
Установите Source code language (-lang)
на C
или C-CPP
.
Задайте опцию Automatic Orange Tester (-automatic-orange-tester)
.
Параметр: -automatic-orange-tester-timeout |
Значение: time |
Значение по умолчанию: 5 |
Пример (программа автоматического доказательства кода):
|