How to open Polyspace results with command line?

I automated Polyspace 2012 with a java programm executing commands in the command line. After sending a Polyspace analysis to the server, polling for the results and downloading them I want to open the results with the following command

<POLYPSPACE_INSTALLDIR>\Polyspace_Common\PVE\PolySpace.exe –rte <ANALYSIS_PATH>\working\Module_1\Result_1\RTE_px_<MODULE_NAME>_LAST_RESULTS.rte

This command opens Polyspace in the Project Manager view. Is there a command to open Polyspace in the Results Manager view instead of the Project Manager view? I want Polyspace to open and show the Results for a Module immediately after opening.

Answer 1

[Abhiram Bhanuprakash]

Hi Jorg,

I found a documentation page which shows how to run Polyspace local analysis by command line.

In the doc, see the last point under "Create Options File from Build System".

Hope it helps.

Cheers!

Abhiram

[Jörg Apel]

Hi Abhiram,

thank you very much for your answer. Unfortunately I am still using Polyspace 2012a. The documentation that you referenced is for Polyspace BugFinder (Polyspace 2014 or later). I am looking for the command shown in the documentation but for Polyspace 2012a.

polyspace-bug-finder myResults