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