-k-limiting)Ограничение глубины анализа вложенных структур
Этот параметр влияет только на анализ программы проверки кода.
Укажите предел глубины анализа для вложенных структур.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта опция доступна в узле Масштабирование.
файл командной строки и параметров: Использовать параметр -k-limiting. См. раздел Сведения о командной строке.
Используйте эту опцию, если анализ выполняется медленно, поскольку код имеет структуру, которая имеет много уровней глубины.
Как правило, при замедлении проверки структуры с глубокой иерархией появляется предупреждающее сообщение.
По умолчанию: анализируется полная глубина вложенных структур.
Введите число для указания глубины анализа вложенных структур. Например, если задано значение 0, анализ не проверяет структуру внутри структуры.
Если указать число меньше 2, проверка может быть менее точной.
Параметр: -k-limiting |
Значение: |
Пример (проверка кода):
polyspace-code-prover -sources
|
Пример (сервер проверки кода):
polyspace-code-prover-server -sources
|