Недостаточно память во время генерации отчета
Диагностируйте из ошибок памяти во время генерации отчета.
Настройте существующий шаблон отчета программы автоматического доказательства кода
Измените компоненты шаблонов отчета, чтобы включать только детали, в которых вы нуждаетесь.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.