"By default, some results are not generated for headers" - how to get them to generate?

Someoen who left the company set up Polyspace and no one else seems to know anything about it.

I am tasked with setting up a pipeline (and have very little time for PolySpace itself), which menas running PolySpace from the command line.

The output when I run PolySapce from the commnd line says

> Remark: By default, some results are not generated for headers.

> | Search for '-generate-results-for' in user documentation to generate results for these header

I can't find the documentaion. Thanks for any help

Answer 1

[Suman]

Hi Graham,

Here is the link to the documentation for -generate-results-for.

Answer 2

[Graham]

Thansk, that's exactly what I need. I can't see how to accept your answer, though :-(