How do I get the Id of an Polyspace 2012a Analysis started by Command Line?
Mostra commenti meno recenti
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?
Risposta accettata
Alexandre De Barros
il 2 Giu 2015
0 voti
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
Più risposte (0)
Categorie
Scopri di più su Command-Line Only Options in Centro assistenza e File Exchange
Prodotti
il 28 Mag 2015
il 2 Giu 2015
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
