polyspace report generator not properly running

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

Answer 1

[Alexandre De Barros]

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