Files are not generated with Polyspace Code Prover R2015a

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?

[Dimo]

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\

Answer 1

[Dimo]

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\