How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?

Question

Imran Ahmed 2019-8-8

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/475364-how-to-generate-polyspace-project-options-into-a-text-file-from-an-already-existing-polyspace-projec

评论： Imran Ahmed 2019-8-23

采纳的回答： Alexandre De Barros

Can anyone please specify the syntax, how and where to use the command to do the above specified function.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2019-8-23

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/475364-how-to-generate-polyspace-project-options-into-a-text-file-from-an-already-existing-polyspace-projec#answer_388752

Hi,

there is no way to convert a .psprj to a text options so to speak, but if you go one of the results folder of your project, then into the subfolder .settings, you will find the file options_command.txt. This text file contains the options of the project.

Best regards,

Alexandre

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Imran Ahmed 2019-8-23

Thanks Alexandre for your answer. My only problem with the way you've suggested is the options might change from one result to another, thus making the options_command.txt obsolete.

请先登录，再进行评论。