-automatic-orange-tester-loop-max-iteration)(Подлежит удалению) Укажите число итераций цикла, после которых Автоматический оранжевый тестер рассматривает бесконечный цикл
Автоматический оранжевый тестер будет удален в следующем выпуске. См. раздел Вопросы совместимости.
Этот параметр влияет только на анализ программы проверки кода. Используйте этот параметр только при просмотре результатов проверки кода в продукции Polyspace ® для настольных ПК.
Укажите число итераций цикла, после которых автоматический оранжевая тестер считает цикл бесконечным. Указание большого числа уменьшает возможность неправильной идентификации бесконечного цикла, но требует больше времени для завершения.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Дополнительные настройки. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -automatic-orange-tester-loop-max-iteration. См. раздел Сведения о командной строке.
По умолчанию: 1000
Введите число итераций цикла. Максимальное значение, поддерживаемое программным обеспечением, составляет 1000.
Эта опция включена только в том случае, если установлены следующие параметры:
Набор Source code language (-lang) кому C или C-CPP.
Укажите опцию Automatic Orange Tester (-automatic-orange-tester).
Параметр:
-automatic-orange-tester-loop-max-iteration |
Значение:
positive integer |
| По умолчанию: 1000 |
Пример (проверка кода):
polyspace-code-prover -sources |