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