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.

Réponses (0)

Community Treasure Hunt

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

Start Hunting!

Translated by