-automatic-orange-tester-timeout)(Будет удалено) Укажите время в секундах, разрешенное для одного теста в автоматическом оранжевом тестере
Автоматический оранжевый тестер будет удален в следующем релизе. См. Вопросы совместимости.
Эта опция влияет только на анализ Code Prover. Используйте эту опцию только, если вы просматриваете результаты Code Prover в 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 |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |