How to open Polyspace results with command line?

8 次查看(过去 30 天)
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.

回答(1 个)

Abhiram Bhanuprakash
编辑:Abhiram Bhanuprakash 2015-6-22
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
  1 个评论
Jörg Apel
Jörg Apel 2015-6-22
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

请先登录,再进行评论。

Community Treasure Hunt

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

Start Hunting!

Translated by