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

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

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

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

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

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

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

Контакт с технической поддержкой

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