MATLAB Answers


Polyspace Report generation Issue.

Asked by Siva Madugula on 13 Nov 2017
I am executing verification projects on Polyspace R2011b, After the Post verification stage the report is not being generated for some of the projects, The error is java.lang.OutOfMemoryError, I have tried to generate report in different format but no result, I have changed the JVM memory from 512 to 1024 in java.opts file, This change is resulting in another error "In component Code Verification Summary : Out of memory. Type HELP MEMORY for your options. In component Chapter/Subsection : Out of memory. Type HELP MEMORY for your options."
The Log file for which I'm generating report is approximately 200 MB, Is this a problem for report generation?
How to resolve this issue ?


Sign in to comment.


0 Answers