Только для анализа S-функции. Выполните анализ всех образцов выбранной S-функции.
Категория параметров конфигурации модели: Polyspace
По умолчанию: Off 
Анализируйте только выбранный блок S-Function. Анализ включает только информацию из выбранного блока S-Function.
Анализируйте все вхождения S-функции в модели. Если S-Функция включена в модель несколько раз, в анализ включается информация от всех вхождений.
Используйте pslinkoptions свойства VerifALLSFcnInstances.
The pslinkoptions функция позволяет вам создать Polyspace® объект опции, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметр PSVerifALLSFcnInstances с тем же значением, что и для pslinkoptions свойства VerifALLSFcnInstances. См. Pslinkoptions Properties.
pslinkoptions | pslinkoptions Свойства