Files are not generated with Polyspace Code Prover R2015a
2 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaire
Dimo
le 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\
Réponses (1)
Dimo
le 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 commentaires
Voir également
Catégories
En savoir plus sur Run Settings dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!