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

조회 수: 2 (최근 30일)
Jörg Apel
Jörg Apel 2015년 5월 28일
답변: Alexandre De Barros 2015년 6월 2일
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일
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개)

카테고리

Help Center 및 File Exchange에서 Command-Line Only Options에 대해 자세히 알아보기

태그

제품

Community Treasure Hunt

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

Start Hunting!

Translated by