How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
1 次查看(过去 30 天)
显示 更早的评论
Can anyone please specify the syntax, how and where to use the command to do the above specified function.
0 个评论
采纳的回答
Alexandre De Barros
2019-8-23
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
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!