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

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

Answer 1

[Lucas Lebert]

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