which are the files hold the justification comments in polyspace code prover.

1 次查看（过去 30 天）
Shaku kaa
Shaku kaa 2016-12-6
编辑： Shaku kaa 2016-12-6
I want to know the list of files which carries the justification comments which are visible in the report.if i know the files name i can copy and paste files in the another result so that when i give for Report Generation it considers those files while adding comments.I know there is another method in which we can import comments from the known results but, i want the list of files which holds the comments of report.Also , i want to know which file indicates what ,what does that file carry .
Thanks in advance

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

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Command-Line Only Options 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by