PolySpace-Bug-Finder-No-Desktop using psprj File

Question

Leitner Sebastian 2017-5-31

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/342649-polyspace-bug-finder-no-desktop-using-psprj-file

回答： Lucas Lebert 2017-6-2

Hi everybody,

we are using PolySpace GUI to configure our Project. After that we get this psprj File. If we want to use polyspace-bug-finder-no-desktop we have to configure everythig again. Is there a way to start polyspace-bug-finder-no-desktop using the configuration from psprj-File?

Thank you in advance, Sebastian

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

请先登录，再进行评论。

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

Answer 1

Lucas Lebert 2017-6-2

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/342649-polyspace-bug-finder-no-desktop-using-psprj-file#answer_269338

Hi Sebastian,

if you run a verification from the gui a Subfolder ".settings" should be created in the results folder. This folder includes a launchingCommand.bat file (which executes the polyspace-bug-finder-nodesktop executable) Furthermore there is the txt file options_command.txt, which lists all the Polyspace options set in the psprj. This can then be used as an input to the polyspace-bug-finder.no-desktop executable by using the -options-file flag.

Have a great day,

~Lucas