Глубина верификации модели - ссылки

Только для моделей то использование сгенерированный код Embedded Coder®. Укажите как глубоко в иерархию модели, чтобы анализировать.

Образцовая категория параметров конфигурации: Polyspace

Настройки

Значение по умолчанию: Current model only

Current model only

Polyspace® анализирует только текущую модель

1

Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются одним уровнем ниже текущей модели.

2

Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются до двух уровней ниже текущей модели.

3

Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются до трех уровней ниже текущей модели.

All

Polyspace анализирует текущую модель и все модели, на которые ссылаются.

Информация о командной строке

Используйте свойство pslinkoptions ModelRefVerifDepth.

Функция pslinkoptions позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSModelRefVerifDepth с тем же значением что касается свойства pslinkoptions ModelRefVerifDepth. См. pslinkoptions Свойства.

Смотрите также

|

Похожие темы