Borrar filtros
Borrar filtros

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

5 visualizaciones (últimos 30 días)
Leitner Sebastian
Leitner Sebastian el 31 de Mayo de 2017
Respondida: Lucas Lebert el 2 de Jun. de 2017
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

Respuestas (1)

Lucas Lebert
Lucas Lebert el 2 de Jun. de 2017
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

Etiquetas

Community Treasure Hunt

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

Start Hunting!

Translated by