Polyspace R2018a CodeProver import comments

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 件)

質問済み:

2019 年 5 月 14 日

Community Treasure Hunt

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

Start Hunting!

Translated by