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

2 次查看（过去 30 天）
ishwar kale
ishwar kale 2018-7-5
评论： Alexandre De Barros 2018-7-24
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

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

采纳的回答

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
  4 个评论
显示 2更早的评论
Jessika Binder
Jessika Binder 2018-7-24
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
Alexandre De Barros 2018-7-24
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

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by