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