How to open Polyspace results with command line?

조회 수: 12 (최근 30일)
Jörg Apel
Jörg Apel . 2015년 6월 19일
댓글: Jörg Apel . 2015년 6월 22일
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일
편집: 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.
  댓글 수: 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

댓글을 달려면 로그인하십시오.


Help CenterFile Exchange에서 Troubleshooting in Polyspace Products for Ada에 대해 자세히 알아보기

Community Treasure Hunt

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

Start Hunting!

Translated by