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