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