Files are not generated with Polyspace Code Prover R2015a

2 views (last 30 days)
The following files are not generated with Polyspace Code Prover R2015a:
MISRA-C3-summary-report.xml
MISRA-C3-report.xml
code_metrics.xml
Do you know where should I found them?
  1 Comment
Dimo
Dimo on 19 Jan 2016
Have you tried this:
If this error occurs, try increasing the Java® heap size. The default heap size in a 64-bit architecture is 1024 MB. To increase the size: 1 Navigate to matlabroot\polyspace\bin\architecture. Where: • matlab is the installation folder. Insufficient Memory During Report Generation 8-13 • architecture is your computer architecture, for instance, win32, win64, etc. 2 Change the default heap size that is specified in the file, java.opts. For example, to increase the heap size to 2 GB, replace 1024m with 2048m. 3 If you do not have write permission for the file, copy the file to another location. After you have made your changes, copy the file back to matlabroot\polyspace\bin \architecture\

Sign in to comment.

Answers (1)

Dimo
Dimo on 20 Jan 2016
Have you tried this:
If this error occurs, try increasing the Java® heap size. The default heap size in a 64-bit architecture is 1024 MB. To increase the size: 1 Navigate to matlabroot\polyspace\bin\architecture. Where: • matlab is the installation folder. Insufficient Memory During Report Generation 8-13 • architecture is your computer architecture, for instance, win32, win64, etc. 2 Change the default heap size that is specified in the file, java.opts. For example, to increase the heap size to 2 GB, replace 1024m with 2048m. 3 If you do not have write permission for the file, copy the file to another location. After you have made your changes, copy the file back to matlabroot\polyspace\bin \architecture\

Community Treasure Hunt

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

Start Hunting!