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