Pass/Fail not filled out in Polyspace report

Hi,

I've run an analysis of my code and justified all remaining errors (which aren't actually problems) with "Not a Defect" severity and "No Action Planned" status. However, when running any report I still get Pass/Fail state of "-" in the following tables:

• Table 1.2 . Coding Rules Summary - MISRA-C Checker
• Table 1.3 . Run-Time Checks Summary

Additionally, "Chapter 4. Polyspace Proven" does not have 100% proven.

Currently the report makes the verification look like a fail, when in fact every flagged violation is easily justified.

How do I make the report show justified checks as passes?

[Mark R]

I'm still interested in this question, I feel a result summary output should be a highly requested feature.

[Mark R]

Hi, I wondered if Mathworks had any answer for this issue please?

[Mark R]

Hi, I'm still interested in a response for this issue.

[Lorenz Mende]

Hi Mark, did you upload the results to the metrics dashboard? If yes, the software quality objectives needs to be set for a project/ result. When you now load your result and generate the Report the status should be updated. Does this answer your question?