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