Files are not generated with Polyspace Code Prover R2015a
1 Ansicht (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentar
Dimo
am 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\
Antworten (1)
Dimo
am 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\
0 Kommentare
Siehe auch
Kategorien
Mehr zu Run Settings finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!