PolySpace-​Bug-Finder​-No-Deskto​p using psprj File

6 次查看（过去 30 天）
Leitner Sebastian
Leitner Sebastian 2017-5-31
回答： 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

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

回答（1 个）

Lucas Lebert
Lucas Lebert 2017-6-2
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

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by