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