Polyspace code prover report customization

6 次查看（过去 30 天）

hanssti 2017-5-31

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/342702-polyspace-code-prover-report-customization

评论： Lorenz Mende 2017-6-23

Hello

With my work with Polyspace code prover I must generate a lot of protocols. But default template for report needs a lot of hand-made changes, which is very time consuming. So I need customize form of report. I need for example change font in report, or in some part of report. I need some part of results dashboard in report and so on. This changes I must do hundred times a week. Is there some way how to customize report, change layout, font, data contained in report?

Thank you.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Lorenz Mende 2017-6-23

This may be only possible with the Report Generator, which you can buy. Another possibility would be to generate an html report, parse it via script and change what you need.

请先登录，再进行评论。

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