....
Exporting views...
Initializing...
Polyspace Report Generator
Generating Report
.....
Converting report
Opening log file: C:\Users\auser\AppData\Local\Temp\java.log.7512
Document conversion failed
.....
Java exception occurred:
java.lang.OutOfMemoryError: Java heap space
Во время генерации очень больших отчетов программное обеспечение может иногда указывать, что существует недостаточно память.
Если эта ошибка происходит, попытайтесь увеличить размер кучи Java®. Размер кучи по умолчанию в 64-битной архитектуре составляет 1 024 Мбайта.
Увеличить размер:
Перейдите к . Где:polyspaceroot\polyspace\bin\architecture
является папкой установки.polyspaceroot
является вашей архитектурой ЭВМ, например, architecturewin32, win64, и т.д.
Измените размер кучи по умолчанию, который задан в файле, java.opts. Например, чтобы увеличить размер кучи до 2 Гбайт, замените 1024m на 2048m.
Если у вас нет разрешения записи для файла, скопируйте файл в другое местоположение. После того, как вы внесете свои изменения, скопируйте файл назад в .polyspaceroot\polyspace\bin\architecture\