Polyspace R2018a CodeProver import comments

2019 5 14
0 个回答
6 次查看（30 天）

0 个投票

Hello,
I am using Polyspace R2018a CodeProver for static analysis of sotware. I have problem with some CP results which are not able to be imported to next version of sofware. Import is done with Tools - Import comments... I cannot see what is the reason. It shows this error:
polyspace_error.PNG
Thanks in advance.

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

回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by