How to open Polyspace results with command line?

2015 6 19
1 个回答
更新时间：2015 6 22
1 次查看（30 天）

0 个投票

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

0 个投票

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 个评论
显示 -1更早的评论 隐藏 -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

请先登录，再进行评论。

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by