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

10 vues (au cours des 30 derniers jours)
Jörg Apel
Jörg Apel le 28 Mai 2015
Réponse apportée : Alexandre De Barros le 2 Juin 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?

Connectez-vous pour répondre à cette question.

Réponse acceptée

Alexandre De Barros
Alexandre De Barros le 2 Juin 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

Plus de réponses (0)

Catégories

En savoir plus sur Command-Line Only Options dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by