Диагностируйте генерацию отчета

Ошибки недостаточно памяти, неудовлетворительные отчеты, и так далее

Поиск и устранение проблем

Недостаточно память во время генерации отчета

Диагностируйте из ошибок памяти во время генерации отчета.

Настройте существующий шаблон отчета программы автоматического доказательства кода

Измените компоненты шаблонов отчета, чтобы включать только детали, в которых вы нуждаетесь.

Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace

Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.