How to get .ci files on Polyspace 2017b version ?

Hi, In old versions of polyspace like 2012b we were able to get .ci files, but for latest versions like 2016b and 2017b all .ci files are deleted by tools as implemented.

Mathworks team kindly support me to get .ci files, their may be some way to get it may be like some commands.

Thanks & Regards, Ishwar

Answer 1

[Alexandre De Barros]

Hello,

You can use the advanced option -keep-relaunch-files for that. The ci files will be created in a subfolder named .relaunch (and in the file ci.zip).

More information here:

https://www.mathworks.com/help/codeprover/ug/conflicting-declarations-in-different-translation-units.html

Best regards,

Alex

[Jessika Binder]

Hi,

I just tried to use the option -keep-relaunch-files. Unfortunately only the compilation-part of the analysis is peformed and nothing is submitted to a Polyspace scheduler.

I have following information in the log:

***
*** End of Polyspace verification
***
Remark: You requested a batch job for Polyspace Code Prover but according to your settings,
|       only the compilation part needs to be performed. As a consequence,
|       Polyspace Code Prover job does not need to be submitted on a Polyspace cluster.
Closing connection to scheduler...
Connection closed

Is there another option that needs to be checked in order to perform a complete analysis with the -keep-relaunch-files option? Without using this option, the analysis is performed at the scheduler without problems.

Best regards, Jessika

[Alexandre De Barros]

Hello,

When using the option -keep-relaunch-files, the verification stops at the end of the compilation phase.

There is no way to run a batch verification (or a local one) and have the ci files.

Could you tell me why you would like to have the ci files?

Best regards,

Alexandre

[Jessika Binder]

Hi,

thank you for the quick answer.

We start a lot of analyses together via batch-jobs. Previously (we used Polyspace 2012b before) it was possible to directly access the ci files after a verification failed and to use them for finding the reason for the failure. Restarting analyses with an additional option to get the ci-files for the erroneous analyses means more effort than before. But as there is no way for creating the ci-files together with the whole verification, there seems no other possibility for us.

Best regards,

Jessika

[Alexandre De Barros]

Hi,

Yes, this is no longer possible.

If you are looking for to explain compilation failures, you can activate the compilation assistant. It can be activated in the Preferences, tab "Project and Results Folder".

You can also contact the support, of course.

Best regards,

Alexandre