Files are not generated with Polyspace Code Prover R2015a

1 次查看（过去 30 天）
Cristina Golie
Cristina Golie 2015-6-12
回答： Dimo 2016-1-20
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 个评论
Dimo
Dimo 2016-1-19
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\

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Dimo
Dimo 2016-1-20
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\

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by