-automatic-orange-tester-tests-number)(Будет удален) Укажите количество тестов, которые должен запустить автоматический оранжевый тестер
Автоматический оранжевый тестер будет удален в следующем релизе. См. Вопросы совместимости.
Эта опция влияет только на анализ Code Prover. Используйте эту опцию только, если вы просматриваете результаты Code Prover в Polyspace® настольных продуктов.
Укажите количество тестов, которые вы хотите запустить в автоматическом оранжевом тестере. Чем больше количество тестов, тем больше возможность нахождения ошибки времени выполнения, но больше времени требуется для завершения.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Advanced Settings. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -automatic-orange-tester-tests-number. См. «Информация о командной строке».
По умолчанию: 500
Введите количество тестов до 100 000.
Эта опция включена только при установке следующих опций:
Задайте Source code language (-lang) на C или C-CPP.
Задайте опцию Automatic Orange Tester (-automatic-orange-tester).
Параметр:
-automatic-orange-tester-tests-number |
Значение:
positive integer |
| По умолчанию: 500 |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |