Polyspace Report generation Issue.

2 views (last 30 days)
Siva Madugula
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 ?

Answers (0)

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!