How are project names set when uploading results to Polyspace Access R2020a?

1 次查看（过去 30 天）

MathWorks Support Team 2020-5-20

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/528293-how-are-project-names-set-when-uploading-results-to-polyspace-access-r2020a

回答： MathWorks Support Team 2020-5-20

When uploading results to Polyspace Access, sometimes the project gets the info in brackets about the analysis tool, i.e either (Code Prover) or* (Bug Finder)*.

But when uploading results with additional parameters to have subdirectories, the info about the analysis tool is missing.

Please, can you explain the reason for the difference?

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

采纳的回答

MathWorks Support Team 2020-5-20

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/528293-how-are-project-names-set-when-uploading-results-to-polyspace-access-r2020a#answer_434758

(Code Prover) or _(Bug Finder) _strings are added when there is *no *-project option used for uploading.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

类别

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

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

产品

Polyspace Access

版本

R2019b

Community Treasure Hunt

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

Start Hunting!

Translated by