Поскольку S-функция анализирует только. Запустите анализ всех экземпляров выбранной S-функции.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: 'off' 
Анализируйте только выбранный Блок s-function. Анализ включает только информацию от выбранного Блока s-function.
Анализируйте все случаи S-функции в модели. Если S-функция включена в модель многократно, информация от всех случаев включена в анализ.
Используйте свойство pslinkoptions VerifALLSFcnInstances.
Функция pslinkoptions позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerifALLSFcnInstances с тем же значением что касается свойства pslinkoptions VerifALLSFcnInstances. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions