How do I get the Id of an Polyspace 2012a Analysis started by Command Line?
Mostrar comentarios más antiguos
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?
Respuesta aceptada
Alexandre De Barros
el 2 de Jun. de 2015
0 votos
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
Más respuestas (0)
Categorías
Más información sobre Command-Line Only Options en Centro de ayuda y File Exchange.
Productos
el 28 de Mayo de 2015
el 2 de Jun. de 2015
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
