Проверьте, оптимальны ли строения модели и кода для анализа кода.
Категория параметров конфигурации модели: Polyspace
По умолчанию: On (proceed with warnings)
On (proceed with warnings)Процесс останавливается для ошибок, но продолжает анализ кода, если в строении есть только предупреждения.
On (stop for warnings)Если в строении есть ошибки или предупреждения, процесс останавливается.
OffПрограммное обеспечение не проверяет строение.
Используйте pslinkoptions свойства CheckConfigBeforeAnalysis. Для получения дополнительной информации см. pslinkoptions Свойства.
The pslinkoptions функция позволяет вам создать Polyspace® объект опции, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметр PSVerifALLSFcnInstances с тем же значением, что и для pslinkoptions свойства VerifALLSFcnInstances. См. Pslinkoptions Properties.