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

1 次查看（过去 30 天）
Graham
Graham 2025-3-10
回答： Graham 2025-4-8
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

请先登录，再回答此问题。

回答（2 个）

Suman
Suman 2025-4-8
Hi Graham,
Here is the link to the documentation for -generate-results-for.
Graham
Graham 2025-4-8
Thansk, that's exactly what I need. I can't see how to accept your answer, though :-(

类别

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

产品


版本

R2023a

Community Treasure Hunt

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

Start Hunting!

Translated by