Azzera filtri
Azzera filtri

polyspace report generator not properly running

3 visualizzazioni (ultimi 30 giorni)
Hi all,
I am using Polyspace on Linux to check only run-time errors (not MISRA) with the following command:
./polyspace-c -main-generator -automatic-orange-tester -Iinclude -sources $file
It runs apparently ok with no errors. I the run polyspace report generator to generate a html-report
./polyspace-report-generator -template Developer.rpt -format HTML -results-dir /C-ALL
I run it on the generated folder C-ALL which has the file options
The problem is that it makes a html-report where the run-time check is enabled but empty
Table 1.5. Run-Time Checks Summary
Run-Time Checks
Polyspace Verifier Enabled
Number of Result Sets x 0
Number of Red Run-Time Checks NA
Number of Gray Run-Time Checks NA
Number of Orange Run-Time Checks NA
Number of Green Run-Time Checks NA
Proven NA
Pass/Fail -
When i run polyspace it seems to make run-time check and generates a table with the statistics that I can see on the console when polyspace running
Why is the run-time check not propperly done or why is the report empty? Am I forgetting an option when executing polyspace?
Thanks in advance for your help Javier

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 16 Set 2016
Hello Javier,
C-ALL is actually a subfolder of the results folder. And the command polyspace-report-generator should be launched on the results folder itself, not on a subfolder.
So first I suggest you to specify a results folder when you launch Polyspace :
./polyspace-c -main-generator -automatic-orange-tester -Iinclude -sources $file -results-dir myresults
The results will be stored in the folder 'myresults'. And now you can launch the report generator with this folder as parameter:
./polyspace-report-generator -template Developer.rpt -format HTML -results-dir myresults
Best regards,
Alexandre

Community Treasure Hunt

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

Start Hunting!

Translated by