How do I get the Id of an Polyspace 2012a Analysis started by Command Line?
Show older comments
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?
Accepted Answer
Alexandre De Barros
on 2 Jun 2015
0 votes
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 Command-Line Only Options in Help Center and File Exchange
Products
on 2 Jun 2015
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
