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

2 views (last 30 days)
Jörg Apel
Jörg Apel on 28 May 2015
Answered: Alexandre De Barros on 2 Jun 2015
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?

Sign in to answer this question.

Accepted Answer

Alexandre De Barros
Alexandre De Barros on 2 Jun 2015
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

More Answers (0)

Categories

Find more on Run Settings in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!