How do I get the Id of an Polyspace 2012a Analysis started by Command Line?

2015 5 月 28
1 回答
回答採用済み
2015 6 月 2 に更新
7 ビュー (30 日間)

0 投票

It is possible to start an analysis in Polyspace 2012a with the command line using a command in
[POLYSPACE_INSTALLATION_DIR]\PolyspaceForCandCPP_R2012a\Verifier\wbin\
Having started an analysis, I need to know which id this analysis has on the server in order to retrieve the results. Is there a way to get the id of the analysis other than to check the log file?

サインインしてこの質問に回答する。

 採用された回答

Alexandre De Barros
Alexandre De Barros 2015 年 6 月 2 日

0 投票

Hi ! In the results folder, you will find a text file named ID.txt. There is a little parsing to do however : the ID is the number before the semi-column.
Best regards,
Alexandre

その他の回答 (0 件)

カテゴリ

ヘルプ センター および File Exchange で Polyspace Code Prover についてさらに検索

製品

タグ

Community Treasure Hunt

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

Start Hunting!

Translated by